@Succinct #Succinct $PROVE