A dining-hall diversion