$PROVE proved itself.