graph of a correspondence