i think about v2 `@rule`s in my head somewhat similarly to the way the proposed

union()

looks (because each of them are a unique index into a corner of the graph)