(< 2 1 x)