KPA 2004 Proofs