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