This is a very surprising point of view. I hope you don't work with avionics, or nuclear power plant control software, or something that has a potential to inf

This is a very surprising point of view. I hope you don't work with avionics, or nuclear power plant control software, or something that has a potential to inflict a lot of harm. You may not always foresee the requirements for 'correctness'.