Transitive closure logic