“x is less than -3”