Oblique Strategies
Discard an axiom