Removed Rules added Axioms. Started constructor.