certainty

In the end, the simpleton wins the popular vote, because he is so confident about being right and people tend to trust certainty.

Instead, all we're going to do is we're going to take those files, we're going to give them to a Lean compiler, and if it builds, we can know with absolute certainty it's correct.