1: \begin{definition}\label{unif}
2: Retain the notation from Theorem~\ref{thm:adic_closure}. Assume that $F$ is a finite extension of $\Q_p$ and that $\varphi$ fixes $P$ modulo $\mm$. Using Lemma~\ref{lem:complete_local}, identify $\hat{\calO}_{\scrX,\bar{P}}$ with $A[[T_1,\ldots,T_g]]$, and $\changeK{C(P):= C(P,1)}$ with $\mm^g$. The orbit $\calO_{\varphi}(P)$ has a \defi{uniformization} if there exist power series $G_1,\ldots,G_g$ in $F[[T]]$, convergent on $\Z_p$
3: such that:
4: \begin{itemize}
5: \item[(i)] $ (G_1(0),\ldots,G_g(0))= P$, which equals $0$ in $\mm^g$, and
6: \item[(ii)]
7: $\varphi(G_1(z),\ldots,G_g(z))= (G_1(z+1),\ldots,G_g(z+1))\ \forall z\in \Z_p$.
8: \end{itemize}
9: \end{definition}
10: