Comments on Levi ben Gerson: