Robin's edits and mine on extremizing section