but it can be phrased in terms of intersection, exclusion, walks to other edges in the graph, and even recursive checks