Some axioms added

Just a couple of them, but I think they can be useful.

This is not the final version, but I couldn't think of a better place to store this version before messing it up.