Formulate the problem