“…To use the lemma presented below in the proof above, one needs to choose appropriate minor reparameterizations in the collar neighborhood direction, which is mapped via the Morse function to [0,1] here, but may need to be mapped to some [−a, 0], for example. Also, here the Liouville vector field is presented in the form ∂ ζ instead of, for example, (1 + r)∂ r .…”