Rewrite the verifying