Reliable Failure Modes And Claim-Checking