Keyword: normal-form