Is there any value of x with the property that x <x -1?