KPA 1991 Proofs