In this rule

Historical Rules · 25 August 2017

Rule 701.4a

Official source text from the 25 August 2017 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 he or she has priority. See rule 601, “Casting Spells.”

Find this number in the current Rules