. . "1983" . "Canonical Form" . .