laughing at a joke is for a proper response to a funny joke