$PROVE