Integral_of_a_correspondence loading ...