scoped_correspondence
