Change in the name of an axiom.