Jacek's 1990 Proofs