There will be a midterm (40%) and a final (60%), both composed of problems in Hyperproof, and to be done outside of class. The bulk of these problems will be taken directly from our textbook. No notion of ``resurrection" is built into the grading scheme. Please appeal grades by seeing me in person.