A joke explained is a joke wasted.