"formal description" . . . "formal description" .