A sense of humor is regarded as a sign of mental health – apart from excessive punning, which is another matter entirely.