$Safc \ U via Annvatz