@chris My comment about making sense was a general throwaway about life in general, not intended as a response to your pun. And I wouldn’t dream of trying to tell anyone what they should find funny; after spending at least half my working life as a professional comedy writer I’m still trying to decide what I find funny myself, never mind other people. Cheers.