. . . . . . . . . . . . . . . . . . . . . . . . . . "structural induction"@en . .