KPA 1989 Proofs