(\phi|_{\partial I})^{-1}