There is something oddly satisfying about a good pun. You hear it, pause for half a second, then smile because ...