. . "normal forms" . "normal forms" .