KPA 1994 Proofs