. . . "Velez (1744) lexical entry for 'Deductor', subentry of 'Deduco'" . . .