See how a rule-by-rule comparison of SPARK against MISRA C shows most hazards become moot by design, the rest proven or rejected by the compiler, leaving only a short list of genuine human responsibilities.