Added Transitive Closure