$PROVE short di