. . . "Velez (1744) lexical entry for 'Libens', subentry of 'Libet'" . . .