### Hwk_03 score

Below are your scores for Hwk 03

If these scores are different from what you expect, please see the concerned TA to ensure the potential error is fixed.

Run on March 28, 12:53:16 PM.

+ _9_ /  _10_ :  Problem 1. Grader :  _Lucas Meyers_ 

		Comments : Need to define P(n,x) or use power explicitly (-1)



+ _7_ /  _10_ :  Problem 2. Grader :  _William Muesing_ 

		Comments : No principle of induction (-3)



+ _8_ /  _10_ :  Problem 3. Grader :  _Chris Bradshaw_ 

		Comments : No principle of induction -2



+ _10_ /  _10_ :  Problem 4. Grader :  _Nick Krantz_ 

		Comments : 



+ _5_ /  _10_ :  Problem 5. Grader :  _Kevin Stowe_ 

		Comments : -1: Unclear substitution of (l1 @ l2) for (append l1 l2) - even with the note, it makes the proof difficult to comprehend -4: Incorrect inductive proof - need to prove inductive case, not prove that the inductive case is equal to the inductive hypothesis



+ _0_ /  _10_ :  Problem 6. Grader :  _Sam Marquart_ 

		Comments : No attempt



+ _0_ /  _10_ :  Problem 7. Grader :  _Shannyn_ 

		Comments : No attempt



+ Total: _39_ / _70_