It's exactly that kind of back and forth that enables complacency in investing in bug free code, and ultimately bad software products. Business models like that need to die. What should be at the core of any software product company is bug-free code, and the Australian proofing and verification tool is a good example that, yes, it could be done. The business model should be formed around that principle, not the other way around.
