category `1' (x < y).
