In this section

Historical Rules · 23 January 2015

Rule 614.7

Official source text from the 23 January 2015 Rules release

If a replacement effect would replace an event, but that event never happens, the replacement effect simply doesn’t do anything.

Find this number in the current Rules