operational correspondence