Abstract Checkpoint 1