nicer axioms for Sigmas