Running verification...