Logical_graphs