axiomatic-graph-visualization