People who use puns are bad people.