Fix Intro, Abstract and Formulation