added clarification for C-equivalence of subgraphs, added Goursat's lemma