In this section

Historical Rules · 3 February 2023

Rule 614.7

Official source text from the 3 February 2023 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