(Y y 1)