graph-homomorphism public under homomorphism 8 List Picture As a command %3 n0 graph-homomorphism n2 graph-isomorphism n0->n2 n1 homomorphism n1->n0