@MouldS @mmaarrow @standupmaths I also have a proof that there are finitely many funny jokes but this twitter is too small etc etc