a^{-1}