conj of y(n+1) deleted