\varphi^{-1}