لقد حان الوقت للعودة إلى ATH
$PROVE #Succincnt @Succinct