. . . "Velez (1744) lexical entry for 'Josephus', subentry of 'Joseph'" . . .