In this rule

Historical Rules · 4 October 2019

Rule 509.1e

Official source text from the 4 October 2019 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