ais523 wrote: > Proto: Boring Paradoxes (AI=3, II=1)
I would prefer this earlier suggestion, though I don't remember whose it was: part of the cleanup procedure is that no player can satisfy this Winning Condition for any tortoise arising from fundamentally the same type of paradox.
