Abstract_object_theory loading ...