. . . "Velez (1744) lexical entry for 'Infernè', subentry of 'Infernus'" . . .