In this section

Historical Rules · 30 September 2011

Rule 614.7

Official source text from the 30 September 2011 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