Horoṿits, Pinḥas ha-Leṿi.