Historical Rules · 19 June 2026
Rule 701.17b
Official source text from the 19 June 2026 Rules release
A player can’t mill a number of cards greater than the number of cards in their library. If given the choice to do so, they can’t choose to take that action. If instructed to do so, they mill as many as possible. Similarly, the player can’t pay a cost that includes milling a number of cards greater than the number of cards in their library.