Kravet Reconfig Commit