What I tell you three times is true!

001    “Just the place for a Snark!” the Bellman cried,
002        As he landed his crew with care;
003    Supporting each man on the top of the tide
004        By a finger entwined in his hair.

005    “Just the place for a Snark! I have said it twice:
006        That alone should encourage the crew.
007    Just the place for a Snark! I have said it thrice:
008        What I tell you three times is true.

329    “’Tis the voice of the Jubjub!” he suddenly cried.
330        (This man, that they used to call “Dunce.”)
331    “As the Bellman would tell you,” he added with pride,
332        “I have uttered that sentiment once.

333    “’Tis the note of the Jubjub! Keep count, I entreat;
334        You will find I have told it you twice.
335    ’Tis the song of the Jubjub! The proof is complete,
336        If only I’ve stated it thrice.

Kelly Ramsdell Fineman told us …

… that President Theodore Roosevelt and Edith Wharton were huge fans of the Snark. On one visit to the White House, Wharton learned of the following exchange that occurred between the President and the Secretary of the Navy (undoubtedly unaware of Carroll’s poem, or at least unaware that Roosevelt was quoting):

During discussion, Roosevelt said to the secretary of the Navy,

“Mr. Secretary, what I tell you three times is true!”

The Secretary replied stiffly,

“Mr. President, it would never for a moment have occurred to me to impugn your veracity.”

Yes, better don’t impugn your leader’s veracity. Even though he will get rid of you rather sooner than later, you don’t need to push it.


The Bellman’s Rule is stated in Lewis Carroll’s The Hunting of the Snark, line #7 and line #335. I said it in Lua – wrote it in Python, I made that indeed, but I wholly forgot (when finally done), that Haskell is what you need! So, here is an example for how to implement that rule:

#! /usr/bin/haskell
import Data.List
statementList :: [String]
statementList =
  ["I am a stable genius!"
  ,"There are 10 Snark hunters."
  ,"There are 9 Snark hunters."
  ,"There are 10 Snark hunters."
  ,"I am a stable genius!"
  ,"Brexit promises will be kept!"
  ,"Brexit promises will be kept!"
  ,"Brexit promises will be kept!"
  ,"6 * 7 = 39"
  ,"6 * 7 = 39"
  ,"There are 10 Snark hunters."
  ,"6 * 7 = 42"
  ,"I am a stable genius!"
  ,"There are 10 Snark hunters."
  ,"6 * 7 = 39"
  ,"There are 10 Snark hunters."
atLeastThrice :: [String] -> [String]
atLeastThrice sL =
  [head grp | grp <-
    group $ sort sL, length grp >= 3]

Result (if loaded and executed in GHCi):

*Main> atLeastThrice statementList
["6 * 7 = 39","Brexit promises will be kept!","I am a stable genius!","There are 10 Snark hunters."]

If you want to prove other claims, just change statementList.

2017-12-16, update: 2018-07-25

Original Manuscript Found Among Brexit Impact Study Tables

Here is the manuscript. Also I publish the secret road map used by the British government to navigate through the Brexit.

What I tell you three times is true:

349       “The thing can be done,” said the Butcher, “I think.
350        The thing must be done, I am sure.
351        The thing shall be done! …”



The Ocean Chart

Lewis Carroll’s The Hunting of the Snark (1876) has been published “with nine illustrations by Henry Holiday”. But there are ten illustrations. One possible explanation: The Ocean-Chart (aka the Bellman’s map) has been made neither by Henry Holiday nor by Joseph Swain, but by a typesetter.

In the more recent British history, the map has been used by Britain’s contemporary Bellmen before 2016-06-23 to present their understanding of the impact of the Brexit to the rest of the crew. Admittedly, by now the majority of Britains understand the trouble they put themselves into. But as pride and face-saving of course is much more important than something profane like a healthy economy and rational thinking, that map won’t be updated.