dichotomic

not defined yet