humour, like pornography, is famously difficult to define. We know it when we see it, but is there a way to figure out what we…