dichotomies

not defined yet