Equivalence graph

Fleshing out the idea