Heim_theory loading ...