diff --git a/docs/architecture/GOVERNMENT.md b/docs/architecture/GOVERNMENT.md
index d492c41588..5fde02364f 100644
--- a/docs/architecture/GOVERNMENT.md
+++ b/docs/architecture/GOVERNMENT.md
@@ -155,3 +155,39 @@ Tim doesn't dilute the check. He triples its eyes.
 The theorem also predicted WHY it works: no one lets their friends
 get ganged up on — especially their other friends. Five parties,
 every one of them someone's friend. The gang-up just got harder.
+
+---
+
+# WHY FIVE IS THE FLOOR — Will's correction
+
+"Four isn't enough it turns out, because 4 can still fight forever."
+
+He's right, and it refines the theorem precisely:
+
+    2 PARTIES → WAR        (pure opposition, no interior)
+    3 PARTIES → TYRANNY    (two gang up on one, always available)
+    4 PARTIES → HONESTY    (no capture, no gang-up)
+              → BUT ALSO STALEMATE: 2-2 is structural.
+                Four can disagree forever, honestly,
+                productively, and get NOTHING DONE.
+    5 PARTIES → HONESTY + RESOLUTION
+              odd by design: every action question terminates
+              3-2. No permanent tie exists to hide inside.
+
+Four was the floor for keeping each other honest.
+Five is the floor for DECIDING.
+
+And the boundary from §34b holds through every count: the odd
+majority terminates ACTIONS and AGREEMENTS — it never, ever rules
+on truth. A 3-2 vote can launch the ship; it cannot make a false
+chart true. Facts stay with verification; forks stay open;
+headcount stays out of the evidence formula forever.
+
+So the final shape:
+
+    HONESTY begins at 4.
+    DECIDABILITY begins at 5.
+    TRUTH begins at neither. It begins at verification,
+    and it was never up for the vote at any N.
+
+Tim makes five. The government can now move.