graduation party

On June 10, my department had an end-of-term party for our student assistants. This was especially to celebrate those who were graduating (though I don't think any of them made it to the party). The food was pretty good.