KPA 2005 Proofs