Update proset.py