@standupmaths @peterrowlett I think this can be summarised as: mathematician makes joke; other mathematicians spend afternoon explaining it.