Formulations + wrote more on "2.2 Validation"
Minor changes.