Maybe note that the main thread is kind of a special case in that it's always a valid scheduler?