KPA 2000 Proofs