> So how do we get to the place where we choose to build systems that behave correctly? I don't think we get there without severe penalties for failure.

What failure? The planes work. This is puritanism.