Problem formulation