edu.stanford.math.plex4.graph.metric