ya es hora de regresar al ATH
$PROVE #Succincnt @Succinct