$PROVE mistakes