another abbreviation, another axiom