;-p Does this mean you will have category theory solution sets one of these days ?

Nice hate-bar syntax you've got there.

All of my hate-phrases (HP or H-double-bar) are perfectly grammatical, since they are headed by a "hate" node. The specifier and complement are also full of hate.

By a particular date, yes, requiring an all-nighter, not so far. :)

I definitely finding grading the most uninspiring part of TAing. And since you don't have a recitation, and those bums don't come to office hours, I suppose you haven't had so much the more positive taste.