Updating problem formulation notes