Big E's Reverse Proofs