Jacek's 2006 Proofs