correspondences

not defined yet