Transitivity of directed graph (#5079) - Basecamp