Category: transitive-closure