. . . "Velez’s lexical entry for 'Halex'" . . .