Standard Logical Equivalences Cheat