Implication_graph loading ...