Gov printout
further exploration of basic axioms