$PROVE is about to call back