What is a sense of humor.​