trichotomies

not defined yet