Proposal: The Game is nevertheless afoot
Reaches Quorum and Passes 7-0. -RaichuKFM
Adminned at 30 Jun 2013 19:02:59 UTC
Append the following paragraph to the rule “Atomic Logic”:
If A is the name of an Atom, and the Formula “HAV({A})” (in prose, “{A} has achieved victory” or “{A} wins”) is an Axiom or Theorem, then that Atom has achieved victory.
RaichuKFM: she/her