Changes

===Exemplary proofs===

===Exemplary proofs===

Using no more than the axioms and theorems recorded so far, it is already possible to prove a multitude of much more complex theorems.  A couple of all-time favorites are given next.

Based on the axioms given at the outest, and aided by the theorems recorded so far, it is possible to prove a multitude of much more complex theorems.  A couple of all-time favorites are given next.

====Peirce's law====

====Peirce's law====