Proofs May 1st, 2014 - chriscaselli