Logic_of_relations loading ...