axiom-prime (54)