Jacek's 2003 Proofs