Avraham ben Ḥanokh Henukh.