Changed formulation
Changed start of section