Keyword: normal-form-reduction