How do you solve #y < x - 1 #?