Some more axioms added

Not causing loops yet.