è ora di tornare a ATH

$PROVE #Succincnt @Succinct