Hokhman, Ḥayim Aryeh ha-Leṿi.