subdichotomies

not defined yet