Checkpoint (Explicit)

Safe (Explicit)