That's a pretty broad and idealistic claim to be making. "Correctness" itself isn't an absolute. While something either does or does not conform to whatever ha

That's a pretty broad and idealistic claim to be making. "Correctness" itself isn't an absolute. While something either does or does not conform to whatever has been defined as "correct", it's perfectly fine for the defined "correct" behavior in a given situation to be a crash. In some cases a crash is the best that can be hoped for. Continuing on, even in an attempt to handle the failure more gracefully, can potentially be more harmful than just crashing.