2 variants for "NU Axiom"