Enhanced Reverse Proof