Tom Igoe

Discard an axiom