. . . "Velez (1744) lexical entry for 'Jucundus'" . . .