The case formulation procedure