簡明的 $PROVE 實際上是失敗的空投。