Logic_of_graphs loading ...