[Proof reading search-en] stopped at 2D binary search