added atomic reg and this should create an easier proof