CS522 HW1 Grading Notes
-----------------------

1. trivial.
   (a) 10pt
   (b) 10pt

2. nobody got this right, and only one person came close. very disappointing.

3. in this assignment and in the final, counter-examples must be
   specific, and proofs must be rigorous. semi-pseudo-kinda-analysis
   don't cut it.
   (a) 5pt
   (b) 10pt

4. see Example 16.27 in the textbook.

5. trivial

6. trivial

7. note that when you have a->b->c and a->c, you may remove a->c because
   it's already enforced in a->b->c.