1: \begin{definition}\label{def:triv}

2: With the above notation, we denote by $\lambda(\phi_0)$ the section of $C(\X,x)$ defined on the formal completion of $Z$ in $B$ obtained by applying the lifting map $\lambda$ introduced in the proof of Theorem \ref{thm:free} to $\phi_0$.

3: 

4: \end{definition}

5: