Puns are basically half-jokes that died somewhere along the way on their journey towards being funny, and that makes some people laugh.