Updated prove.py.