When we compute inverses, we do it properly.