it is time to return to ATH

$PROVE #Succincnt @Succinct