15.12.09

Discard an axiom