M(a,b,z)=s=0n1(a)s(b)ss!zs+O(|b|n).