In this section

Historical Rules · 1 June 2020

Rule 614.7

Official source text from the 1 June 2020 Rules release

Permalink

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