the analogy with experimental physics is a good one - being sure something is true is a good first step to developing an elegant proof of its truth.