= Proofs =

Proofs are the process of using logic to prove without a shadow of a doubt that
something is true/false

== Types ==

=== Contradiction ===

* Say something is true
* Look for some contradiction to prove otherwise
* (Therefore), must be false

This works for saying something is initially true or false