3: Problem Formulation