Some years ago, I was in a theatre audience with a good friend. The play we were watching, I’m sorry to say, wasn’t great. It was supposed to be a comedy – but it wasn’t funny.