Messer Leon, Judah ben Jehiel (Encyclopedia of the bible and its reception, 2020)