KPA 1998 Proofs