Rules glossary
↑ Parent rule: 118.3 A player can’t pay a cost without having the necessary resou…
118.3a Paying mana is done by removing the indicated mana from a player’s mana pool. (Players can always pay 0 mana.) If excess mana remains in that player’s mana pool after making that payment, the player announces what mana is still there.
No sub-rules.