laughing at a joke is for humor