simpler inc and dec of y