I added a new axiom with new rules.