Michael's 2006 Proof Set