x > x + 2