Links for axiom-annotations