KPA 1999 Proofs