Donnolo, Shabbethai. Sefer ḥakhmoni.