. . . . . . . . . "lemma/129708" . . . . "velifer"@la . . . . . . . . . . . "velifer"@la . . "velifer"@la . . . . . . . . . . . . . . . . . . .