checkpoint 2: committed after demo 1