4 ms·

I disagree. A joke will always be more concise than the explanation of what (possibly) makes it funny.