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