KPA 2001 Proofs