transitive_closure