Talking about beating donkeys in logics class