subdichotomy

not defined yet