How to Check Equivalences