Now a graphOf commuting result still to prove before correctness.