Bug in axioms fixed.