checkpoint on the way to simplifying mining