Started working on some of the axioms
Removed compiled binaries