Puns have the unique quality of making you smile as you grit your teeth.