Fortunately this is not basing science on proof. It's just making it much easier to do proofs when that is what we choose to do