I agree. But that’s not what I meant to say: only for life-critical software (think autonomous vehicles, airplanes, medical robots and devices).