looking on $PROVE closely