bisectionally
not defined yet