Added transitive closure