Integration correspondence