it is time to return to ATH
$PROVE #Succincnt @Succinct