rewrite peverify resolution method