Succinct (PROVE)