How do you solve #y+1<=8#?