Oh. Done grading final exams. Was actually done a while ago, but then got engaged in pondering final grades. Ponder, ponder.