Humor is not funny. Humor is something else. Funny is a joke, sometimes silly. Comedy is deep and connected to tragedy; comedy could be deeper than tragedy, in my view.