Did you mean `$revolving_sort` here?