because intentional puns are annoying. Unintentional puns are witty.