Failure
  ↓
Recovery
  ↓
Re-execution
  ↓
Observation
  ↓
Independent verification

        __
        __