You've constructed your argument in such a way that is both inarguable, and non-actionable. Yes, it's true that with sufficient patience, attention to detail,

You've constructed your argument in such a way that is both inarguable, and non-actionable. Yes, it's true that with sufficient patience, attention to detail, time, and money, you can write sophisticated, secure software in C. However, in the real world, it turns out that programmers are "lazy" (which is a pretty condescending way to describe it, btw). It's a fact that programmers using C have been responsible for millions, if not billions of dollars in economic losses due to simple buffer overflows, integer overflows, use after free, etc. So is the solution to come up with something better than C, or is it to just tell people to stop being lazy and hope they stop producing these bugs?