#Succinct(PROVE)