Proposal: The Game is afoot
Times Out and Fails 2-3-1. -RaichuKFM
Adminned at 29 Jun 2013 07:43:07 UTC
Append to “Atomic Logic”:
CDV(A) is a Formula that is True of Atom A can declare victory and False otherwise. If for any atom A, CDV(A) is True, then CDV(B) is False for all atoms B, such that B != A.
Pushing win condition into Formulae. Goal: Prove that you win.
RaichuKFM: she/her
An Atom can always declare victory, it is achieving it that is the hard bit.