composition of correspondences