Verifying Inverses