KPA 2003 Proofs