. . . . "modus"@la . . . . . . "mod"@la . . . . . . . . . . "modus"@la . . "lemma/112553" . . . . . . . . . .