One should pick the other thread at random.