Puns are the Devil's work.