Basic support for verifying claims.