Finish the diamond result about pcg_eval and graphOf
Progress with eval-graphOf connection theorem.

(Committing to transfer from laptop to desktop.)