In this rule

Historical Rules · 13 October 2023

Rule 701.4a

Official source text from the 13 October 2023 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