Adding updates to problem formulation