Great post. Though Lean terminology doesn't jive with the meaning of "valid" and "truth" that I learned in my logic class. Shouldn't we be testing our hypotheses for "truth" rather than "validity"?

See http://en.wikipedia.org/wiki/Validity