I remember that debate, and the theorem 😂 (One of many in which Shengwu claimed that 'everything the other side has said is irrelevant'!) Just when I thought I was done with posting on Twitter...