Collapsed some non-normative paragraphs into a single paragraph
Eliminate redundant paragraphs that said "implementations are allowed to add
member variables and functions" to execution policies