grading Thursday August 27

It's been a year or so since the last grading, and some students have improved so it's time for another one. Let's make it Thursday August 27. Afterwards we'll go somewhere for refreshment.