KPA 1993 Proofs