Checkpointing paper. Mostly introduction