Humor is to get us over terrible things.