Consider the map ##\phi (t,s) \mapsto (f(t,s),g(t,s))##, a point belonging to the envelope of this map satisfy the condition ##J_{\phi}(t,s)=0##. What is the role of the Jacobian in maps like these and why points in the envelope have to satisfy ##J_{\phi}(t,s)=0##?