Yeah, but it's funny though. And the characterisation of 'session types' is spot on. I know 'em all...I even recognise myself.