Let $M$ be a smooth manifold with boundary (say of dimension $m$) and let $N$ be a smooth manifold with no boundary (say of dimension $n$ with $m\geq n$). We have the following classical result: **Theorem**: Let $f:M\rightarrow N$ be a smooth map. Let $x\in N$ be a **regular value** of both, $f$ and $f|_{\partial M}$. Then $f^{-1}(x)$ is a manifold with boundary of dimension $m-n$ ( of course $f^{-1}(x)$ could be empty). Furthermore $\partial (f^{-1}(x))=f^{-1}(x)\cap\partial M$. So I'm especially interested by the last part of the theorem. So if we remove the assumption that $x$ is a regular value of $f|_{\partial M}$ then there is no reason for the theorem to hold true. Q1: What are interesting families of manifolds (over a fixed $N$ that we always assumed to be without boundary) for which $\partial (f^{-1}(x))\neq (f^{-1}(x)\cap\partial M)$? Q2: In general do we have some set relationship between $\partial (f^{-1}(x))\neq (f^{-1}(x)\cap\partial M)$?