Intriguing idea, but why the last bit about Thomas Jefferson? One cannot know what he would have thought of Internet. And more importantly, it doesn't really matter at all.
It's really just "appeal to authority", which is a very common logical fallacy used in politics. Everyone has their opinion on the intent of the founding fathers and that is used to sway many political arguments.
Is that asterisk part of their logo? It's really distracting. I spent a good few moments looking for a footnote, until it dawned on me that it was just a visual gimmick.
So instead of hearing about their progress, I'm scanning their footer. I say change the logo, because it's first thing on every page. Thus an awesome distractor for whatever they want to tell.
Trademarks, disclaimers, parent company references. (X is a registered trademark of Y. Y and X are not affiliated with nor endorsed by similar-sounding Υ or Х. Y is a fully owned subsidiary of Z. All rights reserved. Blah Blah.)
You can beat pretty much any algorithm if you make convenient extra assumptions. In this case they have suitable data for the implication search (good for them!), but the title promises too much.
You can't beat binary search without new assumptions.
