Delete proveit.py~