If X X Y 7 And X Y Y 6 Then X Y