va-t-il faire quoi que ce soit ou va-t-il tout perdre ? $PROVE
@Succinct $PROVE
#SuccinctLabs