Bi-directional theory approach to integration