I absolutely concede that last point - we (the software engineering profession) do not know how to make software that is robust in extremis at prices that are c

I absolutely concede that last point - we (the software engineering profession) do not know how to make software that is robust in extremis at prices that are considered reasonable, and we do not know how make some types of software robust at all.