Someone has defined humor as "pai…