Test_theory loading ...