Reading the axiom