J, an object of class Correspondence, from Y to X, such that J* = I* and J* = I*. In the case of an IncidenceCorrespondence, the intermediates are also carried along appropriately, that is, if intermediates I is the tuple (Z,f,g), then intermediates J is the tuple (Z,g,f).