Search

If an ability would produce one or more mana of an undefined type, it produces no mana instead.

Some abilities produce mana based on the type of mana another permanent or permanents “could produce.” The type of mana a permanent could produce at any time includes any type of mana that an ability of that permanent would produce if the ability were to resolve at that time, taking into account any applicable replacement effects in any possible order. Ignore whether any costs of the ability could or could not be paid. If that permanent wouldn’t produce any mana under these conditions, or no type of mana can be defined this way, there’s no type of mana it could produce.

To “tap [a permanent] for mana” is to activate a mana ability of that permanent that includes the {T} symbol in its activation cost. See rule 605, “Mana Abilities.”

An ability that triggers whenever a permanent “is tapped for mana” or is tapped for mana of a specified type triggers whenever such a mana ability resolves and produces mana or the specified type of mana.

A replacement effect that applies if a permanent “is tapped for mana” or tapped for mana of a specific type and/or amount modifies the mana production event while such an ability is resolving and producing mana or the specified type and/or amount of mana.

If an object’s enters-the-battlefield triggered ability or replacement effect refers to X, and the spell that became that object as it resolved had a value of X chosen for any of its costs, the value of X for that ability is the same as the value of X for that spell, although the value of X for that permanent is 0. This is an exception to rule 107.3i.

The tap symbol is {T}. The tap symbol in an activation cost means “Tap this permanent.” A permanent that’s already tapped can’t be tapped again to pay the cost. A creature’s activated ability with the tap symbol in its activation cost can’t be activated unless the creature has been under its controller’s control continuously since their most recent turn began. See rule 302.6.

The untap symbol is {Q}. The untap symbol in an activation cost means “Untap this permanent.” A permanent that’s already untapped can’t be untapped again to pay the cost. A creature’s activated ability with the untap symbol in its activation cost can’t be activated unless the creature has been under its controller’s control continuously since their most recent turn began. See rule 302.6.

If the copied creature has {X} in its mana cost, X is 0.

Devoid doesn't affect the color identity of the card for the purposes of the Commander variant. For example, while Abstruse Appropriation is colorless because it has devoid, its color identity is still white and black, and it can't be included in a Commander deck where the commander's color identity doesn't include both white and black.

Other cards and abilities can give a card with devoid a color. If that happens, it's just the new color, not that color and colorless.

If the copied creature is itself a token, the token created by Benthic Anomaly's ability copies the original characteristics of that token as stated by the effect that created it, with the listed exception.

Devoid works in all zones, not just on the battlefield.

If the copied creature is copying something else, then the token enters the battlefield as whatever that creature copied, with the listed exceptions.

A card with devoid is just colorless. It's not colorless and the colors of mana in its mana cost.

The token is an Eldrazi creature instead of its other types and subtypes and is colorless instead of retaining any of its colors. It retains any supertypes it had, such as legendary or snow. These are copiable values of the token that other effects may copy.

The token copies exactly what was printed on the original card and nothing else, with the listed exceptions (unless that creature is itself copying something else; see below). It doesn't copy whether that creature is tapped or untapped, whether it has any counters on it or Auras attached to it, or any non-copy effects that have changed its power, toughness, types, color, and so on.

If a card loses devoid, it will still be colorless. This is because effects that change an object's color (like the one created by devoid) are considered before the object loses devoid.

Any enters-the-battlefield abilities of the copied creature will trigger when the token enters the battlefield. Any "as [this creature] enters the battlefield" or "[this creature] enters the battlefield with" abilities of the creature will also work.

Benthic Anomaly's triggered ability will resolve before Benthic Anomaly does. If Benthic Anomaly is countered or otherwise leaves the stack in response to that triggered ability, the triggered ability will still resolve as normal.