problem formulation updated