restitution correspondence