Oh, sorry I had intended to credit the writer who quoted John W. Campbell's quote, The Snark Who Was Really A Boojum.