Mike's 2011 Proofs