$PROVE is proving the real strength here