\Big|_{\tau^{-1}(a)}^{\sigma^{-1}(b)}