That reminds me of the old G.K. Chesterton quote, which was originally about religion.<p>Provable correctness &quot;...has not been tried and found wanting; it has been found difficult and not tried.&quot;