Stav dette: Cognitive-behavioral case formulation to treatment design