#succinctlaps $PROVE @Succinct

PROVE
PROVE
--
--