. . . "Velez (1744) lexical entry for 'Luciferus', subentry of 'Lucifer'" . . .