We weren't arguing about formal correctness, so I can only assume you have stumbled into the wrong thread. We were discussing whether safety-critical software still involved a tradeoff between lacking bugs (or "errors" as Dijkstra would prefer calling them) and getting finished on time ("speed" in the development sense, not in terms of runtime performance like you seem to have assumed).

I appreciate your concern that a shouting match was imminent, but with gems like "running your mouth" and "parroting it over and over again" I think, ironically, the only one risking that is yourself.