better alias for pan-axiom