$PROVE 1