In polite society one laughs at all the jokes, including the ones one has heard before.