DeMorgan's Law can be applied to an axiom as well as turning =>
statements into | statements