add notes about removing the axiom