“In general, the straight line of a joke sets up a premise, an expectation. Then the funny ending - the punch line - in a sense contradicts the original assumption by refusing to follow what had seemed a reasonable train of thought. Many jokes involve that simple matter of leaping outside what had appeared to be the rules of the game at the moment.”