$PROVE why ?