Lew’s Reverse Proofs PF70