Adding new rules and  different axiom