It's possible that all this research in programming language safety, specification, static analysis that most of us have been safely ignoring for the past... well, forever... will finally become a staple requirement, instead of programming itself.