I quit reading when he said recogninzing bad error-code-based code is really easy, and that recognizing not-bad error-code-based code is hard. DOES NOT COMPUTE.

I quit reading when he said recogninzing bad error-code-based code is really easy, and that recognizing not-bad error-code-based code is hard. DOES NOT COMPUTE. A or ~A, for goodness sake.