y_2^1 = lambda (x)y_1^1 + s_0^1(x)y_0^1