Created a proofs folder in which we can place illustrative proofs (good, bad, buggy, etc)
Created a proofs folder in which we can place illustrative proofs (good,
bad, buggy, etc)

Bram28/LEGUP,Bram28/LEGUP,Bram28/LEGUP