[theteapot]

If we can just make up random axioms like this, I think I'd prefer the turtles :).