Comments on PROVE