figured out classic-peirce!!! w00t!!
more logic exercises - stopping for a while
working on coqart axioms