X.def.2.6

and if neither, a sixth binomial.