The dr-face comparison is master's: a negated partial-order test on the eye box's width, rewritten as the two conditions it meant.