Chapter 4: Retrospective Checking and Re-checking Policies