Logical_theory loading ...