Recollect some complexity results at the beginning of Section 7.
Update of Prop 7.6, the power series expansion of Phi.