Sanhedrīn - Nisim ben Reʾuven Gerondi (Mākōn le-hōs, sefārīm "Ōr has-sēfer", 1974)