problem formulation