(5 < 3) and (6 < 4) or not (1 < 2) and (3 > 2)?