Let $f:X\rightarrow S= Spec(k[[\pi]])$ a finite type faithfully flat morphism.
Let $U\subset X$ an open subset s.t, $U$ is smooth and surjective on $S$.

We consider the schemes of sections $X(k[[\pi]])$ and $U(k[[\pi]])$.

For all $n$, we have a morphism $X(k[[\pi]])\rightarrow X(k[\pi]/\pi^{n})$.

Do we have that $U(k[[\pi]])=X(k[[\pi]])\times_{X(k[\pi]/\pi^{n})}U(k[\pi]/\pi^{n})$?