Ancestors, recursively
An ancestor is a parent, or a parent of an ancestor: the transitive closure of parent, exactly the shape of reach:
An ancestor is a parent, or a parent of an ancestor: the transitive closure of parent, exactly the shape of reach: