Is there a way to write this kind of pick/map operation
edges = edges.map(([v1, v2]) => [vertices[v1], vertices[v2]]);
more elegant, mayb
