if everybody agrees on the order to begin with, don't bother with topologicalSort
other in symmAnti moreName