Oblique Strategies

Discard an axiom