3.0: Problem Formulation