Logic_Theory_Machine loading ...