. . . . . "Velez (1744) lexical entry for 'Averna', subentry of 'Avernus'" . . .