. . . "Velez (1744) lexical entry for 'Ridiculum', subentry of 'Ridiculus'" . . .