when_meets is now a binary search