Added -v option to prove.