A special form of Zariski's Uniformization Theorem in positive characteristic

This is mainly a small exposition on extensions of valuation rings as a filtered union of smooth algebras.