3 variants for "Axiom OR"