Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
I was expecting something more "canonical", but yeah glad to know things go like this. Why there's the need for the factor $ \exp(\lVert X(x) \rVert^2) $? It is to guarantee that the extension $ Z $ exits? (I tried to prove it, but I'm not very comfortable with these objects).