This game models the self-amending rule set that is the basis of the American legal system. Suber, a logician, was interested in the paradoxes that arise in a system where logical contradictions inside of a self-amending rule set cannot be straightforwardly resolved.