Formulation of problem