Formulating a problem summary