Latest Z3 axioms