Did you know ... Search Documentation:
Predicate top_sort/2