It's the end of the semester! Of course that means I don't have any more lectures to prepare, but I am beset by stressed students from all sides. One way or another it will all be done on Wednesday. Now back to grading!