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