correct recovery under perfect network environment