Title: What's Funny? a Definition of Humor and Humor Theories