In this rule

Historical Rules · 7 August 2020

Rule 701.4a

Official source text from the 7 August 2020 Rules release

Permalink

To cast a spell is to take it from the zone it’s in (usually the hand), put it on the stack, and pay its costs, so that it will eventually resolve and have its effect. A player may cast a spell if they have priority. See rule 601, “Casting Spells.”

Find this number in the current Rules