KPA 2002 Proofs