Research Division · Working Paper No. 7
The Void Paradox
A formal examination of the logical problem created when the phrase "void where prohibited" appears in a jurisdiction that prohibits the underlying offer. This paper has been circulating in draft form since 2019. It remains in draft form.
The Problem Stated Simply
When a promotional offer states "void where prohibited," it creates a conditional: the offer is valid everywhere except where prohibited. The phrase activates in jurisdictions where the offer is prohibited, rendering the offer void in those places. This is the intended function. The phrase works as designed.
The problem arises when we ask: what happens to the phrase itself? The phrase is part of the offer. If the offer is void where prohibited, and the offer includes the phrase, then the phrase is also void where the offer is prohibited. This means the mechanism by which the offer becomes void is itself void. And if the mechanism is void, the offer is reinstated. And if the offer is reinstated, the phrase reactivates. And if the phrase reactivates, the offer is voided again.
This cycle has no natural resolution. It is not unique to this phrase — similar paradoxes appear in contract law (the unenforceable severability clause, the void arbitration clause, the terminated termination provision) — but the "void where prohibited" case is distinctive because it appears on billions of documents and has never been adjudicated.
The Formal Structure
Let P = the promotional offer. Let φ = the phrase "void where prohibited." Let J = a jurisdiction in which P is prohibited.
1. P includes φ as a constituent element.
2. In J, P is prohibited.
3. φ states: P is void in J.
4. If P is void, all constituent elements of P are void, including φ.
5. If φ is void, step 3 does not apply.
6. If step 3 does not apply, P is not voided by φ in J.
7. If P is not voided, P is valid, including φ.
8. If φ is valid, step 3 applies.
9. Return to step 3.
This loop does not terminate under classical logic.
We presented this analysis to a colleague with training in formal logic. They described it as "a slightly annoying version of the liar's paradox." We noted that the liar's paradox has been an open problem in logic since the 6th century BCE and asked whether "slightly annoying" was an appropriate register for a 2,600-year-old problem. They said the stakes were lower here. We disagree about the stakes.
Proposed Resolutions
Several resolutions have been proposed. None are satisfying.
Resolution A: Severability
The phrase should be treated as severable from the offer — as a meta-statement about the offer rather than a component of it. Under this reading, voiding the offer does not void the phrase, because the phrase is not an element of the offer but a conditional annotation appended to it. The phrase operates at a different logical level.
Problem: Every court that has considered severability in commercial contracts has required explicit language stating that specific provisions are severable. "Void where prohibited" is not typically accompanied by a severability clause. The severability clause is void where prohibited.
Resolution B: Practical Irrelevance
In practice, nobody in a prohibited jurisdiction enters the offer anyway, because they know it's prohibited. The prohibition is enforced by local law, not by the phrase. The phrase is redundant to the law, not constitutive of it. The paradox is therefore real but consequence-free.
Problem: This assumes the reader knows what is prohibited in their jurisdiction. This assumption is the entire premise of why the phrase exists in the first place. If readers knew what was prohibited, the phrase would be unnecessary. The phrase is necessary because they don't. The paradox is therefore not consequence-free.
Resolution C: The Phrase Is Not Part of the Offer
The phrase "void where prohibited" is not a term of the offer but a notice to the reader about the legal status of the offer in their jurisdiction. It has no operative legal effect; the prohibition comes from local law. The phrase is informational, not contractual.
Problem: If the phrase has no operative legal effect, it is doing no work. If it is doing no work, it should not be on the document. It is on every document. Either the phrase does something, in which case it is part of the offer, or it does nothing, in which case billions of documents are cluttered with a meaningless statement. Neither outcome is satisfying.
Current Status
We have submitted this paradox to the American Bar Association, the International Chamber of Commerce, and the Philosophy Department at the University of Edinburgh. None have responded. Their silence is noted. It is not void.
We have also submitted it to three consumer protection agencies, one international arbitration body, and the legal departments of four Fortune 500 companies whose products bear the phrase. One company's legal department replied to say we had been added to their promotional mailing list. We have requested clarification on whether this mailing list is void where prohibited. They have not responded.
The paper will remain in draft form until a satisfying resolution is identified. We do not expect to identify one. We expect to continue documenting the problem. The documentation is not a substitute for resolution. We are aware of this. We are doing it anyway.
Working Paper No. 7 — Status: Open
This paper has been under review since 2019. It will remain under review until the problem is resolved or the institution is dissolved. Neither outcome appears imminent.