1. My name in the tutorial instructor should be Min, not Minwu

2. In problem 1. I think that it is better to use \neg instead of a upperline to indicate NOT.

3. In problem 4 the false claim part, I prefer to swop (a) and (b), since it is easier for students to pinpoint the incorrect part from a counterexample.