I see code as engineering, where there is no "right". There is "right" for the features, or right for the safety, or right for the budget, in a balance of compr

I see code as engineering, where there is no "right". There is "right" for the features, or right for the safety, or right for the budget, in a balance of compromises. Sometimes "right" is crappy code, and sometimes it is formally verified code.