laughing at a joke requires having understood the joke