. . . . "lemma"@la . "lemma" . .