Real diary (677)

My students were lucky, again.