bisection
not defined yet