Search

While applying a replacement effect that modifies how a permanent enters the battlefield, another replacement effect may cause a player to mill cards or exile cards from the top of a library. In that case, any card that is entering the battlefield from that library won’t be included in that effect, even though those cards are in the library as the effect is applied.

Mill

For a player to mill a number of cards, that player puts that many cards from the top of their library into their graveyard.

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.

Dredge is a static ability that functions only while the card with dredge is in a player’s graveyard. “Dredge N” means “As long as you have at least N cards in your library, if you would draw a card, you may instead mill N cards and return this card from your graveyard to your hand.”

A player with fewer cards in their library than the number required by a dredge ability can’t mill any of them this way.

If a trigger event includes an object moving out of or into a player’s range of influence, use the game state before or after the event as appropriate to determine whether the triggered ability will trigger. See rules 603.6 and 603.10.

Card types that can appear on cards in a graveyard include artifact, battle, creature, enchantment, instant, kindred, land, planeswalker, and sorcery. Legendary, basic, and snow are supertypes, not card types; Vedalken and Wizard are subtypes, not card types.

A card can have more than one type. For example, an artifact creature in your graveyard counts as both types for Lucid Dreams' effect.

Lucid Dreams is still on the stack and not in your graveyard as you calculate the value of X.