Discard an axiom

