verification rewrite