Discard an axiom