$PROVE are all false