[Tim] > Well, while an instance of graph isomorphism, this one is a relatively > simple special case (because "the graphs" here are rooted, directed, and > have ordered children). [Moshe Zadka] > Ordered? What about dictionaries? An ordering of a dict's kids is forced in the context of comparison (see dict_compare in dictobject.c).