Integral_theory loading ...