Progress with proofs about graphOf.  (Fixing bugs along the way.)