normal_forms
