Der Abschaum $PROVE sollte einfach auf null gesetzt werden.