s1 = s2(a) s2 = s3(b) (s3) = done , s1(a)