ws (two blank lines after section)
Add rejected sub-proposal
Add additional rationale from Guido