  We apply the theory of functors of Artin rings to prove the existence of a
universal formal solution to a exterior differential system. We compute the
tangent space and the obstruction theory of the funtor of Artin ring governing
the solutions of the exterior differential system.
