That's a pity. I thought humour (and not just mutual respect) could have also formed part of our discourse.