isomorphisms implemented
finally summarize in canonicalLabel