precondition second commit