Actually I'll propose that we lobby the congress to pass a law that software such as this one and those for airline traffic controls, cruize ships, cars must be open source. Each passener can review the code, bring his/her own test suite in a PDA, and only board it when the test passes. I predict that's going to save the software industry.