verifying make_inverse