Checkpoint: done with history section.