We've introduced some important compositions, which is
really crucial: if we define $y=f(x)$, and $f$ is invertible, then
\[
f^{-1}(f(x))=x
\]
and
\[
f(f^{-1}(y))=y
\]
are two identity maps -- they take a thing, and return the same identical thing.
Why do I use different variables $x$ and $y$ for these two? Is it essential?