Axioms in a "mirror" finish.