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.

 
Referring to Edith Wharton’s biography of Theodore Roosevelt (MG007), 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.”

 

Already Shakespeare applied the Bellman’s Rule. It 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 and Scratch, 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
someAssertions :: [String]
someAssertions =
  ["I am a very stable genius!"
  ,"There are 10 Snark hunters."
  ,"There are 9 Snark hunters."
  ,"There are 10 Snark hunters."
  ,"I am a very 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 very stable genius!"
  ,"There are 10 Snark hunters."
  ,"6 * 7 = 39"
  ,"There are 10 Snark hunters."
  ]
atLeastThrice :: [String] -> [String]
atLeastThrice assertions =
  [head grp | grp <-
    group $ sort assertions, length grp >= 3]

Result (if loaded and executed in GHCi):

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

 


Checking my Haskell implementation of “What I tell you three times is true” using ChatGPT:Here is an implementation of "What I tell you three times is true" in Haskell:

atlLeastThrice :: [String] -> [String]
atLeastThrice assertions =
  [head grp | grp <-
    group $sort assertions, length grp >= 3]

Thank you for providing the implementation in Haskell. Yes, your & implementation looks correct. The "group" function groups the same elements in the list together, then you are filtering out the groups that have less than three elements, and finally returning the head of each group (which is the repeated assertion).

 


PS: It’s not easy. Truth isn’t truth.

 
2017-12-16, update: 2023-09-24

Original Manuscript Found Among Brexit Impact Study Tables

Here is the manuscript (it’s so-so). And there is a 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! …”

Getting the Brexit done:

https://youtu.be/2N2kp1r-WkI

 


Links:

 
2017-11-14, update: 2023-09-10

Brexit, Hunting a Fantastical Beast

May government’s Brexit aims were never achievable – we’ve been hunting a fantastical beast all along
File 20181116 194519 67tlr3.png?ixlib=rb 1.1
The Snark – the beastly figment of imagination created by Lewis Carroll.
Image: Segment of an assemblage by G. Kluge of illustrations by C. Martens & T. Landseer, H. Holiday & J. Swain

Michael Keating, University of Aberdeen

 
The Brexit process started in March 2017 with the triggering of Article 50, allowing two years to complete the process. The main story since then has been of postponing difficult decisions in the hope that something would turn up. Ministers have insisted they have a mandate from the people but have struggled to agree on what it entails in practice. Negotiations within the UK government have been as difficult as those with the EU.

full article

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.

more

 
2017-09-29

Consent Management Platform by Real Cookie Banner