axiom by Brian Swichkow