J, an instance of the type 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).