X.def.3.6

and, if neither, a sixth.