Defining and analyzing humor is a pastime of humorless people.