. . . "[[kanoninen]] [[disjunktiivinen]] [[normaalimuoto]]"@fi . . .