bisection - add back the requires for search