Does Humor Belong in Music?