proverification