Empty_theory loading ...