Writing correspondences