KPA 1992 Proofs