-x <= 2