In this rule

Historical Rules · 7 February 2025

Rule 509.1e

Official source text from the 7 February 2025 Rules release

Permalink

If any of the costs require mana, the defending player then has a chance to activate mana abilities (see rule 605, “Mana Abilities”).

Find this number in the current Rules