# Spell with no chosen targets

Bit of a strange one - sorry. My question is: is the following correct?

Sacred Excavation is a sorcery which says:

Return up to two target cards with cycling from your graveyard to your hand.

If I cast it choosing no targets, to return no target cards to my hand, then Rule 608.2b states:

… The spell or ability is countered if all its targets, for every instance of the word "target," are now illegal.

It's vacuously true that every target of my spell is illegal: there are no targets, so every target is the King of France, and every target is legal, and every target is illegal. So Sacred Excavation is countered.

The effect is the same as if it had resolved, except in some very niche edge cases - "when something is countered" effects would trigger, and anything spliced onto that spell would not happen, for instance.

• Vacuous truth does in fact work as described in the question. In set theory, for any predicate P, the statement "All elements of the empty set satisfy P" is always true. The question of the truth of vacuous statements doesn't come up as often in plain English, but I think it is still considered to be the correct convention. Jun 24, 2017 at 2:50
• @ikegami Sure it can. Bouncing a permanent in response to a spell targeting it creates a situation where a target is illegal precisely because it doesn't exist. Though that's not quite the situation we have here; here we're saying that every target of a spell with no targets is illegal. If you want to claim otherwise, I challenge you (rhetorically) to prove it: show me a target of that spell which is not illegal. Jun 24, 2017 at 2:50
• @ikegami (2 comments up) Read again. Of course we're not. Anyway I think we should take this to Board & Card Games Chat if you care to continue the exchange. (I won't continue it here, so as not to distract from the answer.) Jun 24, 2017 at 3:07
• @ikegami "Vacuous" and "all" have a well defined meanings in set theory. Vacuous isn't an ad hominem like "mindless" or "blabbering". Read en.wikipedia.org/wiki/Vacuous_truth Jun 24, 2017 at 7:35

It does not work like that. The spell will not be countered. It will resolve and it will do nothing.

This is explicitly stated in Oracle rulings on cards where the difference matters more: spells that affect "up to [some number] of target..." and also have another effect. Adverse Conditions, for example, has the following ruling:

You can cast Adverse Conditions with no targets. When it resolves, you’ll get an Eldrazi Scion. However, if you cast Adverse Conditions with any targets and all of those targets are illegal as it tries to resolve, it will be countered and none of its effects will happen. You won’t get the Eldrazi Scion in that case.

Note that the beginning of the rule quoted in the question, 608.2b, says

If the spell or ability specifies targets, it checks whether the targets are still legal...

and rule 114.5 says

Spells and abilities that can have zero or more targets are targeted only if one or more targets have been chosen for them.

I think that saying that a spell "specifies targets" is the same as saying that it "is targeted", and I would conclude that the procedure in rule 608.2b is intended to be performed only on spells for which one or more targets have been chosen.

• Are you replying to a now-deleted comment? It's not clear whether you're replying to a deleted comment, or if you changed your mind about your answer and you think it's wrong now. Jun 24, 2017 at 8:14
• I was replying to a now-deleted comment. I've deleted my own to avoid confusion. Jun 24, 2017 at 8:26
• Sorry - I'm used to the norms on math.SE, where one very promptly deletes comments that turn out to be wrong. Jun 24, 2017 at 10:21