Transitive closure added.