tsort                   Topological Sort
weak                    Equivalence Classes
