thread_priority_less is now not strict