On the blackboard for May 19 and 21, 2023