. . . "Velez (1744) lexical entry for 'Athlantis', subentry of 'Athlantias'" . . .