Transitive_Closure_Logic