Updated paper with Ken's changes
Checkpointing old story