Created a proofs folder in which we can place illustrative proofs (good,
bad, buggy, etc)
Here's a proof showing some bugs