More changes to Theorem prover
Got Rid a Zoom, Yo
Barath told me to push
Propositional Logic Handler
fixed a ton