Discard an axiom

#ObliqueStrategies