A great example of what? From what I read in there, each of those falsehoods is verifiable. Which one(s) (is/are)n't?

It's a pretty great example of falsehoods programmers believe.