dichotomically
not defined yet