Evaluating Many Possible Consequences of a Claim
	Kun: “Exploring the limits of a claim […] can also be used as a litmus test for deciding which arguments are worthwhile to understand in detail.”
	Kun: “Often, you simply realize you were wrong. So this habit is a less formal variation on being wrong often, and coming up with counterexamples.”

Claim: “Proving code correct takes 10× longer than writing the code itself.”
Consequences:
	all correct code can be proven correct
	empty code is proven correct with no effort
	we should spend 10 hr teaching proofs for every hour teaching coding
	should spend little time writing code so you can prove it in time
	programmers don't prove their code correct
	random code is easier to prove