State correspondence