Classifying formal methods as a 'fear response' strikes me as asinine in the same way that calling safety belts a fear response would be. If it's software wher

Classifying formal methods as a 'fear response' strikes me as asinine in the same way that calling safety belts a fear response would be. If it's software where failure can cause a lot of damage, why wouldn't fear be a natural response? Frankly, I'd be outright horrified if say the people responsible for autonomous driving weren't anxious about mistakes, since I'd either have to assume that they just didn't care or - perhaps even worse - do not realize the potential consequences of their actions.