update new doc, update problem formulation