The example is a bit contrived, and to tell the truth, you might know how to avoid this problem from the get-go; however, the purpose is to show you how to evaluate terms as main entries or ...