using checkpoints