A sense of humour is a sense of proportion.