Obviously they are not writing this stuff with provability in mind. Obviously emergent state occurs with numerous subsystems however it's not like the same issu

Obviously they are not writing this stuff with provability in mind. Obviously emergent state occurs with numerous subsystems however it's not like the same issue isn't shared in other complex systems... culture of technical debt and commercial shortcuts must have overtaken a culture of testing for a very long time to let this happen. People were raising issues years before the latest 737 Max issues: Oh yeah. I'm not flying on a 787 [...] I would definitely avoid flying on a 787. - Cynthia Cole, former 32 year Boeing employee and former President, Boeing Engineers' Union ... via https://github.com/globalcitizen/taoup https://github.com/globalcitizen/taoup Amusing(?) idea for outlandish conspiracy theory (in the spirit of 'virus all the things!'): bad actor within US bioweapon agency goes rogue, misrepresenting government as effective Boeing stockholder and major client releases COVID-19 to slow travel sector and mitigate impact on company and distribute pain and suffering to Airbus.