Got the transitive closure