Corrections to Formulation section.
Change property labels to descriptive names, and a minor correction.