In this section

Historical Rules · 7 August 2020

Rule 723.2

Official source text from the 7 August 2020 Rules release

Permalink

When reversing illegal spells and abilities, the player who had priority retains it and may take another action or pass. The player may redo the reversed action in a legal way or take any other action allowed by the rules.

Find this number in the current Rules