It is therefore reasonable that the behaviour of p should in some rough sense approximate the behaviour of q.
Thus it is reasonable to attempt using this homeomorphism to gain an understanding of the structure of M.
It seems reasonable to expect that......, but we have no proof of this.
If the boundary is never hit then xt is a Feller process under reasonable continuity assumptions.