fix bench normalize2 constraints
note on transitivity. make consistent section and subsection capitalisation