Software is everywhere. Ten years from now, who will be responsible for the code deploy today? What does it take to build reliable and efficient software? These are some questions that keep responsible software writers and application developers up at night. Because we are drowning in unsound code. Yet it doesn't have to be that way. And there is still time to do something about it.