Attempt 1
   ↓
FAIL
   ↓
Recovery decision
   ↓
Attempt 2
   ↓
Observe
   ↓
Verify

        __
        __