- fixed some presentation issues
- added axioms