> I think you should strive for definitive proof

I think only mathematicians and computer scientists can deliver this.