Jacek's 1996 Proofs