One example of how you can tell if expressions are equivalent