There are different kinds of jokes.