documenting axiom annotations