In this assignment, you'll struggle with sameness, equality, the hypothetical reasoning (consequence). The Pie exercises cover Chapter 15 and 16.
The Pie assignment should be completed by writing a definition for each claim, and then uncommenting the tests so that they all pass. Passing the tests is necessary, but not sufficient, for completing the exercise - you should also follow the instructions in the file.
Parts of this assignment are written by David Christiansen and used with permission.