Validating the Diathesis–Stress Model Based Case Conceptualization Procedure in Cognitive Behavioral Therapies: The LIBET (Life Themes and Semi-Adaptive Plans—Implications of Biased Beliefs, Elicitation and Treatment) Procedure

Cognitive behavioral therapy (CBT) approaches use case formulation procedures based on the diathesis–stress conceptualization model, arranged in two dimensions: emotional vulnerability (present in a patient’s consciousness in terms of core beliefs) and coping strategies. Nevertheless, despite its pivotal role, there are a limited number of validation studies for this model. Life themes and semi-adaptive plans: Implications of biased beliefs, elicitation and treatment (LIBET) is a CBT case formulation method grounded on the CBT diathesis–stress model that aims to help validate the CBT case formulation model, and, in particular, its bidimensional arrangement. In LIBET, the two classic CBT dimensions are called “life themes,” which are mental states of focused attention to emotional sensitivities represented as core beliefs in consciousness, and “semi-adaptive plans,” which are the rigid management strategies of “life themes” implemented by adopting coping strategies such as anxious safety behaviors, compulsive controls and aggressive or rewarding strategies. The study uses quantitative textual analysis to validate the LIBET procedure in a clinical sample. The investigation discusses the extent to which the results can be considered a validation of the arrangement of the general CBT diathesis–stress model in the two dimensions of core beliefs and coping strategies.

These schemata are thought to remain dormant until they are activated by stressful experiences. When activated, the schemata are represented in consciousness and verbalized as cognitions, mainly about the self (Bandura, 1977(Bandura, , 1988Markus, 1977;Neisser, 1967) but also about the world, the future and human relationships (Beck, 2011). However, self-related cognition seems to play a more pivotal role than other cognition: self-knowledge for many authors-either cognitive, such as Bandura (1977), Markus (1977), and Neisser (1967), or not, such as Erikson (1950), Hermans (1996aHermans ( , 1996bHermans ( , 2002, Kohut (1977), and Rogers (1977)-provides consistency, continuity, coordination, guidance, identity, and integration for mental states and is a guarantee of good psychological functioning. The schemata are maintained by coping strategies when they are rigidified in dysfunctional safety or reactive behaviors (Beck, 2008;Beck, 2011;Clark & Beck, 2010).
Despite this connection, validation of the diathesis-stress scientific foundation of CBT approaches has developed without much explicit reference being made to CBT case formulation. CBT therapists generally attribute a pivotal role to case formulation that is not merely instrumental, but theoretically consistent with the main focus of CBT (Bieling & Kuyken, 2003;Butler, 1998;Persons & Tompkins, 1 3 Validating the Diathesis-Stress Model Based Case… 1997), and regard case formulation as a vital part of their practice (Flitcroft et al., 2007). Although a good case formulation is generally related to therapeutic outcomes (Eells, 2007(Eells, , 2011(Eells, , 2015, however, the validity and reliability of the case formulation process in CBT, and in other psychotherapeutic approaches, are only beginning to be studied. In fact, the number of publications devoted to case formulation is still small, and in the order of tens compared to hundreds of studies (or more) exploring therapeutic procedures and their efficacy. The results of these studies are not conclusive, being limited to inter-rater reliability (Mumma & Smith, 2001;Persons & Bertagnolli, 1999) and construct validity studies (Kuyken et al., 2008). Judith Beck is among the first scholars to have provided a detailed and operational description of the therapeutic use of case formulation in Beck's CT, known as the cognitive conceptualization diagram (CCD; Beck, 2011, p. 200). Although the procedure for implementing the CCD formulation is well developed, however, its validation-as well as that of other case formulation procedures-remains imperfect, as reported by Eells (2007Eells ( , 2011Eells ( , 2015. There are also controversial results that suggest the need for further case formulation validation studies. For example, whilst studies suggest that high-quality case formulation is important and promising for intervention planning (Beck, 2011;Ghaderi, 2006;Needleman, 1999;Schneider & Byrne, 1987;Strauman et al., 2006), they have not yet demonstrated the direct impact of cognitive case formulation on improved CBT outcomes (Chadwick et al., 2003;Nelson-Gray et al., 1989;Schulte et al., 1992). There is also evidence that case formulation may not be entirely positive, with some clients reporting being upset and overwhelmed by cognitive case conceptualizations (Evans & Parry, 1996;Pain et al., 2008).
Of course, this unsatisfactory situation does not mean that the validity and reliability of the case formulation procedures have never been studied. There is some emerging evidence that training, therapist experience, competence, and the use for more structured procedures of conceptualization improve case formulation reliability (Kuyken et al., 2005;Persons & Bertagnolli, 1999). It has been confirmed that CBT therapists with greater expertise are more likely to produce more coherent and significant case formulations (Kendjelic & Eells, 2007;Kuyken et al., 2005;Mumma & Mooney, 2007). Some studies have demonstrated that CBT case formulations in clinical settings and randomized controlled trials are comparable in effect size (Kuyken, 2001;Persons et al., 2006). These results are all applicable to Beck's CCD (Kuyken et al., 2005), however, they are still insufficient and controversial and further validation studies on CBT case conceptualization procedures are therefore needed. Such studies could confirm both the diathesis-stress scientific foundation of CBT approaches and the role and efficacy of case formulation in the therapeutic process. This work attempts to answer this need.

Subdimensions of the Diathesis-Stress Model
The lack of studies that validate the CBT case formulation could lead to an insufficient validation of the diathesis-stress CBT model itself, the demonstration of which seems to be guaranteed only by the efficacy studies of CBT. The effectiveness of CBT does not automatically demonstrate the validity of the diathesis-stress model, however. A more solid confirmation of the diathesis-stress model could come from the validation of a CBT case formulation model that closely shares the organization of the CBT diathesis-stress model.
For example, an aspect of both the diathesis-stress theoretical model and its corresponding CBT case formulation that remains imperfectly explored and validated, is its bidimensional arrangement in core self-beliefs and coping strategies. We would expect to find many in-depth validity studies on this arrangement, however, the reality is unsatisfactory. We can find some descriptions of core self-beliefs in the CBT clinical literature -the best examples being Judith Beck's classification of cognitive self-beliefs (Beck, 2011, p. 233) and the constructivist personality organizations outlined by Guidano and Liotti (1983, pp. 171-306) and Mahoney (2003)-but no real validation study of these models. Table 1 reports these CBT classifications of self-knowledge.
In conclusion, a classification of core self-beliefs and coping strategies on which there is consensus in the scientific literature seems lacking. A review of the literature suggests that the list of subdimensions of the diathesis-stress model would roughly include three or four core self-beliefs and as many coping strategies, however, further definition is needed in order to distinguish them, and no validation study has yet confirmed their number or classification.

LIBET Case Formulation Development
Life themes and semi-adaptive plans: Implications of biased Beliefs, Elicitation and Treatment (LIBET) is a CBT case formulation method grounded on Beck's diathesis-stress model which aims to help validate the CBT case formulation model and, in particular, its bidimensional arrangement in core beliefs and coping strategies. LIBET is a procedure that allows the therapist to understand and share with the patient an explanation of their emotional disorder, a rationale for the implementation of the therapeutic procedures selected and a measure for monitoring the progression of the psychotherapy. The LIBET procedure facilitates the development of the diathesis-stress model by conceptualizing it not only in terms of cognitive contents regarding core self-beliefs and coping strategies, but also including a developmental dimension that justifies the mental representability and verbalizability of emotional vulnerability in terms of core self-beliefs as well as a process dimension that justifies the rigidification of coping strategies in dysfunctional behaviors (Sassaroli et al., 2021).
In fact, these two additional developmental and process aspects were already present in Beck's model, and the idea that dysfunctional self-beliefs are rooted in the personal development of the patient existed in the stress-diathesis model as developmental emotional vulnerability (Beck, 1976;Beck, 2008;Beck & Bredemeier, 2016;Clark & Beck, 2010;Dobson et al., 2018). This notion is called "relevant childhood data" in CCD procedure (Beck, 2011, p. 201). It was also present in other cognitive (but not CT) approaches that cultivated this aspect (Bannister & Fransella, 1971;Feixas & Miró, 1993;Guidano, 1987Guidano, , 1991Guidano & Liotti, 1983;Lorenzini & Sassaroli, 1995;Mahoney, 1974Mahoney, , 1991Mahoney, , 2003Neimeyer, 2009;Neimeyer & Mahoney, 1995;Winter & Viney, 2005). In summary, the developmental aspect of the cognitive diathesis-stress models means that emotional disorders seem to be contingent on early experiences that leave some of the primary emotional needs of the child unsatisfied and that create emotional vulnerability. However, such vulnerability is not mechanically doomed to develop into an emotional disorder because early patterns are characterized by a form of adaptability that is only subsequently compromised in dysfunctional reactions to painful experiences. Unhealthy adult modalities therefore represent a rigid application of functional developmental habits (Young et al., 2003). LIBET promotes the integration of aspects of process into CBT, as proposed by Hayes and Hoffman (2018) in their process-based CBT model. Again, the importance of process components had already been identified in CBT models, such as by Aaron Beck himself when he described the circle of fear of fear (Beck et al., 1985) or when he claimed the possibility of going beyond beliefs (1997); or even more sharply by Ellis with his seminal concept of secondary ABC, which was a forerunner of metacognitive concepts (DiGiuseppe et al., 2014, pp. 64-65;Sassaroli et al., 2005). However, the exploration of processes owes much to the new generation of CBT, which focuses on psychopathological processes-acceptance and commitment therapy (ACT; Hayes & Strosahl, 2004), behavioral activation (BA; Kanter et al., 2009;Martell et al., 2001), the cognitive behavioral analysis system of psychotherapy (CBASP; McCullough & Goldfried, 1999), dialectical behavior therapy (DBT; Linehan, 1993), functional analysis psychotherapy (FAP; Kohlenberg & Tsai, 1991, and integrative behavioral couples therapy (IBCT; Christensen et al., 1995)-and metacognitive reflective mental functioning, or metacognitive therapy (MCT; Wells, 2008). This kind of functional cognitivism suggests that emotional disorders do not depend exclusively on biased mental representations of the self (self-knowledge and self-beliefs) as Beck (Beck, 1976) thought. Rather, they rely on the dysfunctional interaction between voluntary and regulatory processes-for example, attention and executive control-and emotionally charged, automatic associative processes (Hayes & Hoffman, 2018;Kahneman & Frederick, 2002;Martin & Sloman, 2013;Sloman, 2002;Stanovich, 1999;Stanovich & West, 2002;Wells & Mathews, 1994).
The LIBET model attempts to integrate these process principles into the classical CBT diathesis-stress model by assuming that developmental vulnerability is not sufficient to determine the disorder but, if managed in a flexible way by individuals, can result in only temporary discomfort and not in negative core self-beliefs and dysfunctional coping strategies. In contrast, psychopathology emerges only if the management of the discomfort occurs in rigid ways and when the mind is not aimed at tolerating stress but has the goal of gaining an illusory definitive suppression of emotional pain through the rigid use of coping strategies.
In summary, LIBET is a clinical conceptualization model for emotional disorders that reformulates core beliefs and coping strategies in two processual dimensions: (1) "life themes," defined as mental states of focused attention to emotional sensitivities represented as verbalizable core self-beliefs in consciousness, accompanied by hurting bodily and emotional perceptions influenced by painful or even dangerous experiences during personal development (Bandura, 1977(Bandura, , 1988Beck, 2011,

LIBET Assessment Training and Adherence
The development of the LIBET procedure implies not only the development of a tool for evaluating and sharing case formulation but also the need to develop a training method for its reliable administration and its adherence to the procedures. There has been much reflection on the level of adherence of therapists to the CBT procedures they claimed to apply since the 1990s, including the formulation of the case as the first step of CBT (Ruggiero et al., 2021). Until then, generic CBT training was considered sufficient, which included reading manuals and attending workshops, but a more rigorous level of adherence supervision was needed. An example of this evolution is that reported by Clark when he was invited to apply CBT in the British National Health System (Layard & Clark, 2014). A similar evolution occurred in our clinical center when it came to developing the LIBET assessment method. We could not limit ourselves to describing a procedure and taking it for granted that clinics applied it by reading an internal manual, but implemented the following steps: (1) Clinical and theoretical elaboration; in this phase, which took place in the period 2012-2014, the concept of case formulation was critically examined in discussion groups, which were held each Monday morning and consisted of the authors of the paper and other members (described in the section entitled "therapists") of the clinical staff and research team of our institution. Discussions alternated presentations of literature reviews and brainstorming in order to select the theoretical and clinical concepts relevant to the management of case formulation in therapy. In particular, we conceptualized the connection between the theoretical diathesis-stress model and the CCD case formulation procedure, both arranged on the two axes of core self-beliefs and coping strategies, and integrated them with developmental, constructivist, and processual concepts in order to evolve the core self-beliefs in life themes and the coping strategies in semi-adaptive plans (Ruggiero et al., 2021). (2) Test administration. In the second phase, which was held in the 2014-2016 period, tests were administered in which the concepts defined in Phase 1 were still used in an informal way. Tests were administered both between therapists in peer counseling and with patients in clinical sessions. These test administrations were recorded on video or audio and were systematically reviewed by the same Monday morning discussion group as in Phase 1. This group provided proposals, in the form of instructions and interview prompts, to transform the informal test administrations recorded on video or audio into a draft of a formalized testing interview and procedures. (3) Draft interview. In the third phase, which took place in 2016, the authors of the paper used the list of suggestions developed by the discussion group during Phase 2 to write a draft of a LIBET interview, administration manual and adherence assessment scales. The first draft was developed by the two younger therapists CR and AB and the mature psychotherapist FC, and then revised by the authors of the paper. Finally, the authors of the paper, SS, GMR and GC, developed a system for measuring adherence to the procedure. Once the draft was ready, guided pilot administrations were carried out both between therapists in peer counseling and with patients in clinical sessions and their adherence was evaluated. Audio and video recordings of the administration were reviewed by the Monday morning discussion group in order to suggest modifications of the drafts. (4) Validation of the final version. In the last phase, which is still in progress, preliminary versions of the LIBET interview, manual and adherence scale were published in their final form in both Italian and English (Sassaroli et al., 2016;Sassaroli et al., 2017a, b;2021).

Patients
The sample consisted of 86 outpatients recruited from a population undergoing initial assessment for cognitive therapy delivered in the clinical center of the CBT psychotherapy school directed by the first author. Of the 86 patients, 53 (61.6%) were female and 66 (76.7%) were unmarried, while 17 (19.8%) were married and 3 (3.5%) widowers. The mean age was 36.89 ± 11.54 years. The mean years of education were 16.23 ± 3.01. Three patients (3.5%) had a secondary school degree, 28 (32.7%) a high school degree and 55 (64.0%) a university degree. They were all employed and nobody's income was below the poverty threshold as evaluated by the 1 3 Validating the Diathesis-Stress Model Based Case… website https:// www. istat. it/ it/ dati-anali si-e-prodo tti/ conte nuti-inter attivi/ soglia-dipover ta of the Italian Institute of Statistics (ISTAT). The patients had a DSM (Diagnostic and Statistical Manual of Mental Disorders) diagnosis and were in cognitive psychotherapy for either depression or anxiety (or both): 26 patients (30.2% of the sample) reported major depression (MD), 21 patients (24.4%) obsessive compulsive disorder (OCD), and 66 (76.7%) generalized anxiety disorder (GAD), which means that 23 patients had two diagnoses (19 had both MD and GAD and 4 had OCD and GAD) and two patients reported all three diagnoses. In other words, 21 MD patients (80.8% of the 26 MD patients) and six OCD patients (28.6% of the 21 OCD patients) also had GAD. This data is all in line with the literature regarding anxiety and depression comorbidity (Möller et al., 2016;Pallanti et al., 2011). Although we did not exclude patients with personality disorders from the study, the clinical center in which we recruited the sample treated a population of patients mainly affected by the target disorders of CBT, anxiety and depression, and therefore, we had no patients with primary personality disorder diagnosis in this study. We had 32 patients with some (which means less than three) disordered personality traits but only eight patients with an associated full diagnosis of personality disorder (five avoidant and three borderline) who attended a skills training group treatment in addition to their CBT treatment.

Patient
Patients were recruited according with the following inclusion criteria: a minimum age of 18 years; adequate written language abilities; and capable of, and interested in, participating in the present research project. Individuals agreed by signing an informed consent form. We excluded patients with severe psychiatric and/or cognitive impairment, as shown by the presence of either (a) a diagnosis of psychotic disorder, acute hypomania or mania or depressive or substance-related disorder episode, or (b) neurological cognitive impairments.
The patients had been treated in CBT therapy during the period 2013-2016 under the care of therapists at the clinical center where the authors work. The psychotherapies lasted from four to nine months, from 16 to 36 sessions if we include the intensive treatment of one weekly session, and if we include the period of maintenance and follow-up the period in treatment ranged from 14 to 24 months.

Therapists
The therapists included SS (female, 61-65 years old), FC (male, 57-61 years old), GMR (male, 47-49 years old), GC (male, 33-35 years old), AB (male, 36-39 years old) and CR (female, 33-35 years old). All had received training in CBT, although in different forms, reflecting different historical periods. SS and FC attended the first training in CBT psychotherapy not yet recognized by Italian law, with Guidano and Liotti in the early 1980s after studying medicine and specializing in psychiatry. The initial training lasted three years. After an initial non-formalized apprenticeship period in which they were supervised for several years, they were mature psychotherapists who functioned independently. GMR had also studied medicine 1 3 and specialized in psychiatry, but had his training legally recognized by the Italian State under Law 56 of February 18, 1989 on training in psychotherapy. This legally regulated training lasted four years. GMR also had an initial period of informal supervision and then began working as a mature psychotherapist who functioned independently. From 2012, however, GMR adhered to the new model of continuing education that was becoming established, participating assiduously in specific training in rational emotive behavior therapy (REBT, Ellis & Grieger, 1986) (2012 at the Ellis Institute in New York, USA, MetaCognitive Therapy (MCT, Wells, 2008Wells, ) (2016Wells, -2019 at the MCT Institute in Manchester, UK, and CBT (2016-2019) at the Beck Institute in Philadelphia, USA, or online and undergoing formalized periods of supervision. Finally, after graduating in psychology, GC, AB, and CR had their training in psychotherapy recognized by the Italian State according to Law 56, and they too, after the official training, undertook various courses of continuing education, including additional courses and supervision formalized in various orientations: AB in mindfulness and acceptance and commitment therapy (ACT, Hayes & Strosahl, 2004), GC in MCT and CR in eye movement desensitization reprocessing (EMDR; Shapiro, 2017) and REBT.

Instruments
All the measures listed below, including the LIBET case formulation, were implemented at the beginning of the therapy within the first four sessions. The clinician started treatment by evaluating LIBET, and by sharing it with the patient during the fourth session.

Psychopathological Evaluation
Psychiatric symptoms were evaluated using the structured clinical interview (SCID) for DSM-5 (American Psychiatric Association, 2013;First et al., 2015aFirst et al., , 2015b. We used the officially approved Italian version of the SCID diagnostic interview starter kit for DSM-5 called SCID-5-CV (Intervista clinica strutturata per i disturbi del DSM-5®-Versione per il Clinico). The publication reports all the validation data of the Italian version (Borroni & Fossati, 2017). The used the second version of the Beck depression inventory (BDI-II, Beck et al., 1996) which was updated from the original version of the Beck depression inventory (BDI; Beck et al., 1961), and fits with the diagnostic criteria of major depressive episodes of the DSM (Beck et al., 1996a(Beck et al., , 1996b. We used the Italian translation of the instrument that was approved by the authors of the original version and replicates its validation data (Ghisi et al., 2006;. The Padua Inventory Scale (Sanavio, 1988) is a self-report measure of obsessive-compulsive behaviors, which shows good internal consistency as well as convergent and divergent validity with other validated instruments both in the original Italian version and in the English translation (Sternberger & Burns, 1996).
The State-Trait Anxiety Inventory (STAI-Form Y) (Spielberger et al., 1983) is a self-report measure of obsessive-compulsive behaviors, which shows good internal 1 3 Validating the Diathesis-Stress Model Based Case… consistency as well as convergent and divergent validity. We used the Italian translation of the instrument that is approved by the authors of the original version and replicates its validation data (Pedrabissi & Santinello, 1989).

Case Formulation Evaluation
LIBET life themes and semi-adaptive plans were assessed using the LIBET interview procedures as published in Italian and English journals and books (Sassaroli et al., 2016;Sassaroli et al., 2017a, b;2021), which report in more detail the information described in the following section of this paper entitled "LIBET assessment training and adherence." Here we provide some general information about this procedure.
We have borrowed the idea of using a series of at least three functional analyses of problematic situations from Beck's CBT case formulation (the abovementioned CCD), tendentially (but not necessarily) three and framing these situations in a two-axes structure, which includes either core beliefs and coping strategies in CBT or life themes and semi-adaptive plans in LIBET. Moreover, and this time borrowing from the constructivist tradition, the problem situations are not all located in the present but aim to cover the whole timeline of the patient's developmental process of the problem. The first ABC is located in the present and represents the problem that brought the patient into therapy. At the opposite extreme, there is an ABC located in the past which represents the first learning of the problematic vulnerabilities and coping strategies of the patient. Between these points we find the ABC of invalidation-a term borrowed from George Kelly's model (Kelly, 1955)-the situation of crisis in which a patient experienced that their usual behaviors proved ineffective to protect their vulnerabilities but where, instead of flexibly looking for alternative ways, they thought that they should apply the coping strategies even more rigidly, making it wholly dysfunctional. It is also the situation in which the vulnerabilities have pathologically transformed from painful to intolerable because the patient felt that it had become necessary to avoid any mental contact with them. Actually, "invalidation" involves the disconfirmation of a hypothesis in Kelly's personal construct psychology, as an individual's psychological constructs hypotheses about reality. When a personal construct proves to be unable to correctly evaluate reality, there is an invalidation that is accompanied by an emotional activation that in turn can rigidify becoming an emotional disorder. LIBET, while borrowing the concept of invalidation from Kelly, emphasizes the component of emotional crisis in invalidation.
In addition, the three scenarios, present problem, past learning of the problem, and invalidation are implemented in more than one ABC for each of the three scenarios. Therefore, the therapist aims to look for many examples of the three general situations. Once the ABCs have been collected, they can then be 1 3 Validating the Diathesis-Stress Model Based Case… summarized into life themes and semi-adaptive plans, according to the following guidelines.

LIBET Assessment Procedures
LIBET follows a structured procedure comparable to a clinical interview, and is administered by the psychotherapist during the first sessions as part of the psychotherapy itself. In fact, it provides the patient with a formulation of their case as a general hypothesis for formulating the therapeutic problem, and also as a means of sharing the therapeutic plan and its rational functioning. Two sessions can be sufficient to ascertain LIBET, and more rarely three or at most four sessions. In fact, the basic assumption of the LIBET procedure is that CBT case formulation, either CCD or LIBET, is the initial move and main operational tool of CBT approaches, through which a therapist manages the entire psychotherapeutic process. The idea is that, in CBT, case formulation incorporates both the specific cognitive and behavioral interventions of the treatment and the non-specific components, including the negotiation of the therapeutic alliance and the management of the therapeutic relationship. LIBET is considered part of a project that aims to show how this aspect is increasingly becoming the hallmark of standard CBT approaches because it is in line with CBT's basic principles: it implies full confidence in the conscious agreement between therapist and patient, transparent cooperation, and an explicit commitment to the CBT model of clinical change (Ruggiero et al., 2021).

Preliminary sharing of the LIBET model
Sharing the case formulation is vital to building a therapeutic alliance, and therefore, during the assessment phase, the therapist explains the LIBET model to the patient. The patient can be approached with a prompt such as follows: As human beings, all of us have vulnerabilities in our life history that we call life themes. This vulnerability, in some circumstances, can become painful or even intolerable. Over the course of our life, we have also learned strategies that we will call semi-adaptive plans; these have allowed us to manage our life themes. These plans can help us, but when they become rigid and inflexible, they also increase the emotional pain and create other problems. Sometimes that's what we call symptoms. We are going to work together using themes and plans to understand your distress and then find a therapeutic strategy to deal with it.

LIBET Assessment Techniques: ABC and Laddering
LIBET is not performed by filling in a structured interview form, but by constructing a scheme with the patient, such as that shown in Table 3, on a sheet of paper or on an overhead projector, similarly to how the way a CCD is built in CBT. Therefore, and as stated above, the LIBET case formulation procedure starts by using an ABC analysis model called "ABC-L." The ABC-L begins with the elicitation of a problematic situation, encouraging the patient to be as accurate as possible: Can you tell me an occasion particularly representative of your problem in which you comprehensively remember the circumstances, the time and place where it happened?
After assessment of the situation, the process addresses emotions and dysfunctional behaviors: T: What did you feel? What did you do then that didn't help you?
After emotions and behaviors, dysfunctional thoughts are elicited by asking about the immediate conscious thought (What was going through your mind at that moment? What did you think at that moment?) and the following chain of thought, by using various techniques, from the downward arrow of the CBT school (Beck, 2011: pp. 206-208) to the chain inference of the REBT school (DiGiuseppe et al., 2014: pp. 173-174) to the laddering of the Kellian constructivist school (Bannister & Fransella, 1986;Bannister & Mair, 1968;Hinkle, 1965;Kelly, 1955). All of them focus primarily on the negative implications of the feared events or moods. The question is: T: What don't you like in this?
In CBT as well as in LIBET this question is aimed to assess a self-belief. Once we have ascertained the beliefs, we reach a hypothesis of the patient's life theme in its self-descriptive component. The life theme, in fact, is comprised of a cognitive and self-descriptive component (e.g., "I see myself as a failure") and an emotional and viscerally perceptive component, a prevailing, pervasive, and disturbing emotion (e.g., "I feel shame").
After the problem of the present, we have to assess the invalidating situations. As observed above, George Kelly (1955) used the concept of invalidation to indicate the moment when a situation unequivocally disconfirms a predictive hypothesis. In LIBET, the concept of invalidation is applied to a semi-adaptive plan when it becomes non-adaptive. In order to fully explore the dysfunctional elaboration of an invalidation, it is therefore necessary to focus on the episodes related to the onset of the disorders. The invalidation ABC can be ascertained by asking: What was changing in your life before you got sick? When did this behavior stop being useful to you? How didn't it work anymore? Once the invalidation episode has been identified, the patient is encouraged to explore the connection between invalidation and symptomatic onset: T: Do you see a relationship between this episode and the onset of your problem?
The third step is the link between the life theme and life history. The aim is to identify another ABC in which the patient is asked for a past situation in which they learned to react in a way akin to what would become their semi-adaptive plan. It is possible to either focus on single episodes (e. g., We are now looking for an episode in your past in which you considered yourself as a … or experienced this emotion of … in a similar way to the present) or on a more general relational situation with the patient's significant relationships (e.g., Can you tell me something about your relationship with significant people during your childhood and adolescence? How were your relationships like?) As usual, the life theme is found in how the patient saw and considered themself (self-belief): How do you see the child that you were? What did that child want and need? and the plan in the behavior: How did that child react? Has that child learned to handle feeling that way?
Once a number of ABCs have been identified, they can be summarized into a life theme and a semi-adaptive plan. Once again it is good to share it explicitly with the patient: Can we call your vulnerable way of feeling and judging yourself in problematic situations your "life theme"? Can we call your usual behavior in problematic situations your "plan"?

Qualitative Analyses
The main focus of the present study was to explore LIBET's life themes and semiadaptive plans in a clinical sample using the quantitative textual analysis (QTA) (Bolden & Moscarola, 2000) method, which integrates two different approaches. The first is a bottom-up approach, according with which the analysis of qualitative textual data was directly applied to transcriptions in order to test whether LIBET's assumed themes and semi-adaptive plans spontaneously emerged from the data.
The second is a top-down approach, according to which we used interpretative categories to identify whether and to what extent the transcribed materials fitted with different categories of life themes and semi-adaptive plans. We therefore started from a number of clinical hypotheses of the variables of core self-beliefs (to be confirmed as life themes) and four coping strategies (to be confirmed as semiadaptive plans). These variables were provided by the aforementioned Monday morning discussion group, which, in the period 2012-2016, outlined the procedures of assessment of the LIBET. The group provided a preliminary list of eight variables composed of four core self-beliefs and four coping strategies drawn from both the scientific literature, as reported in the introduction (subsection "Subdimensions of the diathesis-stress model") and clinical experience. These eight variables were built in order to obtain a list to submit to the statistical selection work that would then validate the most reliable variables.
The self-beliefs/hypothesized life themes included a self-judgement of being: (1) Threatened, a mental condition in which the individual experiences a feeling of danger and lack of personal safety and protection guaranteed materially and affectively by significant and reliable figures. The threat to this need can bring emotional experiences of unbearable danger in the face of which the individual feels powerless (Herman 1992;van der Kolk, 1996) and in which emotional states of fear are experienced to the point of panic and paralyzing terror, the so-called "freezing" (Herman, 1992;Griskevicius et al., 2010;Mogg & Brad-ley, 2016;Ogden et al, 2006;Ogden et al., 2006;van der Kolk, 1996) and the processing of thoughts and emotions takes place in chaotic, disorganized, and accelerated ways with sudden turns towards dullness, demotivation and anhedonia (Ogden et al., 2006); (2) Inadequate, i.e., a feeling of lacking personal value and ability learned in an internal and relational environment where the idea that the environment outside the family circle and exploration are challenging and stressful and that the individual alone does not have sufficient personal skills and resources to face the trials of the outside world independently (Bifulco et al., 2006;Feng et al., 2017;Huprich, 2003;Kiernan & Huerta, 2008). Research on family histories (Fyer et al., 1993) and risk factors (Dierker et al., 1999) highlights the possibility that anxiety is transmitted by the explicit passage of negative information about the world and human relationships (Rachman, 1977) and/or indirectly by modeling and mimesis in the framework of interactions with significant figures (Woodruff-Borden et al., 2002); (3) Unloved, linked to emotional states of sadness and depression (Beck, 2008;Bifulco et al., 2006;Kiernan & Huerta, 2008;Huprich, 2003;Hollon et al., 2020;Rimes & Watkins, 2005). Depressive states are linked to situations in which caring is present but provided in an atmosphere of emotional deprivation and cold and distant affectivity, in which bodily contact is rare and awkward (Kiernan & Huerta, 2008;Maheu et al., 2010); in subsequent stages of evolution, emotional deprivation and lack of emotional closeness and affectivity can result in a vision of self that is characterized by a sense of loss, emotional abandonment, and futility (Bosquet & Egeland, 2006;Woodruff-Borden et al., 2002); (4) Unworthy, i.e., a feeling of exclusion, inferiority and contempt towards oneself (Brewin et al., 1992;Huprich, 2003;Irons et al., 2006;Kawamura et al., 2001;Vieth & Trull, 1999) linked to an emotional state of shame and guilt (Salkovskis, 1985). In this case it is a self-evaluation that has to do with rank, and the comparison between oneself and others. This sensitivity to unworthiness can arise in families with a severely critical, controlling, demanding, and oppressive relational style. The relational styles of caregivers typical of these relational environments show a significant tendency towards criticism (Hirshfeld et al., 1997), catastrophic thinking in interactive sequences with children (Whaley et al., 1999) and punitive and reprimanding discouragement of the autonomy of the child (Apparigliato et al., 2007;Brewin et al., 1992;Huprich, 2003;Irons et al., 2006;Kawamura et al., 2001;Vieth & Trull, 1999).
The four coping strategies/hypothesized "semi-adaptive plans" corresponded to: (1) Avoidant behavior in which the individual systematically attempts to dodge external contexts that could evoke in them adverse stimuli. Such an individual will always live safely but will have little chance to grow and evolve both intellectually and emotionally. Empirical research has shown that behavioral (Blalock & Joiner, 2000) and cognitive avoidance (Beevers et al., 1999;Rassin et al., 2000) are related to depressive or anxious states (Barlow, 2002;Blalock & Joiner, 2000);

3
Validating the Diathesis-Stress Model Based Case… (2) Controlling behavior in which the individual constantly seeks to control, prevent or resolve the adverse stimuli they anticipate in their future. In this security framework, the individual believes that their vulnerability can be protected through strict and efficient strategies of hypercontrol (Barlow, 2002;Hoyer et al., 2001;Mineka & Zinbarg, 1996;Moulding & Kyrios, 2006;Rapee et al., 1996;Ruggiero et al, 2012;Sassaroli et al., 2008;Shafran et al., 2002;Shapiro & Astin, 1998, p. 23); (3) Aggressive and angry behaviors (Critchfield et al., 2008;DiGiuseppe & Tafrate, 2007;Martin & Dahlen, 2005) that can be used to achieve emotional detachment as a condition of unassailable superiority over the emotional pain, won at the end of the angry conflict; the individual aims at a final state of immunity to emotional pain, something similar to the concept of the detached self-sufficient individual of Young (1990) and devitalized emptiness elaborated by Dimaggio and Semerari (Dimaggio et al., 2007); (4) The last conduct identified is the self-rewarding sensation-seeking behavior that manifests itself in addiction and desiring thinking, which aims to anesthetize emotional pain by artificially inducing states of pleasure (Caselli & Spada, 2015;May et al., 2004;Spada et al., 2013;Tiffany, 1990).
Given that the nature of the LIBET assessment is both conversational and structured, qualitative analyses were carried out using the records of the assessment sessions. The transcripts were then processed directly by the T-LAB 5.0 software without intermediate filtering by human evaluators. T-LAB 5.0 is able to independently select the significant terms for processing, such as nouns, verbs, and adjectives, and omit those that are semantically irrelevant, such as conjunctions, prepositions, and adverbs. Since at least two sessions are sufficient to ascertain the LIBET, and more rarely three or four sessions, the full corpus of 86 interviews was collected in 192 sessions, with an average number of 2.32 sessions for each LIBET interview.
Following the tradition of QTA studies, an initial preprocessing phase was needed to remove all sources of biases included in the qualitative data (e.g., misspelled words). This first step included: normalization (removing all general function words such as articles, connection forms, and prepositions), lemmatization (reducing all inflected words to their root form, as found in a dictionary), and synonymization (words that can be considered equivalent from a semantic point of view; for example, "illness" and "sickness" are reduced to the same root form). The result of this process was a qualitative corpus representing the database in which algorithms of quantitative textual analysis could be applied.
The full corpus of 86 interviews for this research included 7455 occurrences (occurrences are the total number of words in analysis), 1442 root forms (root forms are the total number of words in analysis after lemmatization) and 1182 hapax (these are words appearing only once in the corpus). After adopting a minimum of four as a threshold value for the root forms, the resulting data comprised 152 root forms, 1,440 occurrences and no hapax. The type/token ratio (TTR; TTR is a measure of vocabulary richness obtained by dividing the total number of unique words by the total number of used words in a segment of text) of 24.8%, the root TTR (Guiraud, 1960; the root TTR is a weighted measure of vocabulary richness obtained by dividing the number of words by the square root of the total number of used words) of 21. 4 (g = 4.16) and the mean frequency of words (9.47) suggested that the data was suitable for subsequent analysis with multidimensional scaling (MDS).
The second step of the preprocessing phase was the construction of a co-occurrence matrix, which is a tool able to account for all frequencies of pairwise word co-occurrences (for further details about algorithms and the QTA procedure, see Lancia, 2008;Lund & Burgess, 1996;Veronese et al., 2019aVeronese et al., , 2019bVeronese et al., , 2016Veronese et al., , 2019aVeronese et al., , 2019b and that can be analyzed by means of MDS procedures.

Multidimensional Scaling
MDS (Mugavin, 2008) is a statistical tool of data reduction and exploration able to summarize large amounts of data into more easily grasped spatial maps that are built by reproducing important relationships among data. An important feature of this technique involves to the possibility of portraying the structure of data by rescaling a set of proximity measures into visual distances representing specific locations in a spatial (i.e., Cartesian coordinate system) configuration (Borg et al., 2013). This means that words which tend to be used together in the same unit of analysis appear close in the Cartesian space, whereas words that are further apart indicate dissimilarity. In this study, the selected association index-a measure of semantic proximity between a pair of selected words-was Salton's cosine (Salton & McGill, 1983). Salton's cosine resembles the logic of the common Pearson correlation coefficient, with values ranging from 0 (no association) to 1 (full association).
MDS analysis provides two different outputs: Sammon's stress measure, which is a sort of goodness-of-fit index ranging from 0 to 1 (Sammon, 1969), and a visual plot of points (words), which provides a graphical representation of data. Information was organized in the Cartesian space according to two criteria: (1) words were organized in terms of similarity/distance and then grouped into "clusters"; and (2), clusters were organized along its axes and polarity. In MDS analysis, axes can ultimately be interpreted through principal component analysis or factor analysis (Kruskal et al., 2006).
In the second stage of MDS analysis (following a top-down approach), the analysis of lexical specificities (ALS) is used to ascertain whether some typical or exclusive words (lexical units) occur in a given subset of text, as defined by an organized categorical variable. It is thus possible to understand whether previously developed categories are semantically saturated by the textual data. ALS adopts χ 2 values (in this study, the p-value was set at 0.01) to assess the association between a given subset of text and target words: the greater the χ 2 , the higher the probability that an association is not due to chance (Nestor & Schutt, 2014).

Multidimensional Scaling
The first result of the QTA pertained to the most frequently used word. Frequently occurring words indicate emerging themes in a textual corpus and provide the basis 1 3 Validating the Diathesis-Stress Model Based Case… for more complex coding categories. The most frequently occurring words in the transcriptions were: "to feel" (98), "to seek" (88), "to avoid" (52), "anxiety" (41), "to control" (41), "to think" (39), "to worry/ruminate" (the Italian word "rimuginare" can mean either "to worry" or "to ruminate," depending on the context) (37), "situation" (32), "fear" (29), "to handle" (23), "sadness" (23), "sensation" (19), "shame" (15), and "weak" (15). This first glimpse into these words provides a general insight into the textual content, although any analysis of raw numbers is necessarily biased (e.g., the word frequency count is not weighted for length of transcription) and does not allow one to identify underlying structures of data. The model configuration and the results of MDS are reported in Fig. 1.
The model organized words in the bidimensional space in a fairly balanced way, with four main point clouds. The first quarter (red) listed words such as "fear," "to experience," "to lose," "life," "fail," "vulnerable," and "sensation." Here is one example of a statement including such words:  The second quarter (blue) listed words such as "guilt," "anxiety," "expectation," "unsuitable," "inadequate," and "abandoned." An example quotation is: Feeling the criticism, the disappointment … like when my father's glances made me feel his disapproval [...] Feeling like I had failed to meet his expectations ... Shame, feeling shame. [Sentire la critica, il disappunto… come con mio padre, mi faceva sentire con quel suo sguardo la disapprovazione.

Concept Mapping
The results of multidimensional scaling reported in Fig. 1 suggest concept mapping in four groups of cognitive content. The first area, colored red, indicates states of fragility, danger and threat, failure and defeat. The second area, colored blue, has content corresponding to inadequacy, abandonment, and blame. The third area, colored yellow, corresponds to cognitive content related to controlling and avoiding safety behaviors. Finally, the fourth area, colored green, shows cognitive content related to either dependent behaviors, such as smoking, drinking, or eating, or reactive states such as aggression and anger.

3
Validating the Diathesis-Stress Model Based Case…

Cosine Association
Analysis of the cosine associations between words (Fig. 2) provides a more detailed overview of the organization of subordinate groups of words.
As described in the Method section, the results presented in Fig. 2 were produced by a hypothesis-driven analysis of four CBT core self-beliefs (threatened, inadequate, unloved, and unworthy) to be confirmed as LIBET life themes, and four CBT coping strategies (avoidant, controlling, aggressive, and self-rewarding) to be confirmed as LIBET semi-adaptive plans. Our analysis reported in Figs. 2, 3, and 4 actually suggested six areas. According to these results, at least two variables, either themes or plans, were disconfirmed. Which were these? According to the verbal content of the six areas, the first upper-left area in pink corresponds to the words "to see," "to ask," "to control," "to handle," "me," and "to ruminate," seemingly indicating a controlling coping strategy. The brown area follows, the words of which are "to lose," "to experience," "anger," "sensation," and "sadness." The brown area thus includes aspects of both depression ("sadness" and "to lose") and emotional vulnerability ("sensation" and "to experience"), roughly corresponding to the  Validating the Diathesis-Stress Model Based Case… unloved core belief with the intrusion of an aggressive behavior ("anger"). The following (purple) area matches the words "to understand," "guilt," "to think," "to succeed," "to feel," and "to see," words suggesting a controlling behavior. The red area corresponds to words like "home," "to avoid," "situation," and "to leave," which seem to denote both looking for security and avoidance behaviors that denote both a threatened core belief and an avoidant behavior. The green area, which corresponds to words like "to be angry," "other," "people," "to be liked," "to take," and "to keep," indicates an interpersonal domain and may correspond to aggressive, controlling, and self-rewarding behaviors. Finally, in the orange area are the words "anxiety," "expectation," "inadequate," "unsuitable," "mistake," "feel," and "shame," akin to the core beliefs of inadequacy and unworthiness.
In summary, the cosine association method has provided six areas, and this is to be considered the final result as the number of categories, so we consider six instead of the hypothesized eight. However, it is also necessary to identify which six categories survived from the initial assumed eight. The answer of the cosine association in this case is indicative and not definitive because the content confirmed by the cosine association still includes all the hypothesized four CBT core self-beliefs and four CBT coping behavioral strategies. Therefore, according to the cosine association, the resulting six categories show overlapping areas that allow them to include the content of all eight assumed categories. Further explorations-implemented by the following analysis of lexical specificities-are needed in order to better define the content of the confirmed categories.

Validation Process of LIBET: Top-Down Approach
Following the conclusion that the cosine association analyses suggested a focus on six CBT variables, an analysis of lexical specificities was conducted for the purpose of identifying their semantic content. As reported in Figs. 3 and 4, this analysis confirmed three categories of CBT core beliefs (Fig. 3) and three categories of CBT coping behavioral strategies (Fig. 4).
The further and final-at least in this paper-definition of the semantic content suggested by the analysis of lexical specificities allowed us to definitely transform the six CBT categories in LIBET categories and identify a final list of three LIBET life themes, as presented in Fig. 3, and three LIBET semi-adaptive plans, as presented in Fig. 4. The clinical content and the names of the LIBET categories are reported and discussed in detail in the Subgroups within the Two Dimensions section of the Discussion. Here and in Figs. 3 and 4 we report the specific words significantly connected with semantic areas.
The consequence, which will be further discussed in the Subgroups within the Two Dimensions section of the Discussion, is that there are three categories of core beliefs but four semantic areas, of which one is allocated among the other three because it does not appear in the results in Fig. 3. This scattered semantic area is that of inadequacy. The consequence is that therefore there are three semantic areas of CBT core beliefs on which the group of words related to feeling inadequate is distributed over. As will be explained in the Subgroups within the Two Dimensions section of the Discussion, there will consequently be three categories of LIBET life themes: "threatened/inadequate" (Life Theme 1), "unloved/inadequate" (Life Theme 2), and "unworthy/inadequate" (Life Theme 3).
With regard to the CBT coping behavioral strategies that will become LIBET semi-adaptive plans, fortunately the visual outcome of the lexical specificities shown in Fig. 4 and the empirical outcome are fully consistent with each other, and both report three semantic areas and groups of specific words related to three CBT coping behavioral strategies. The reduction to three of the four hypothesized coping strategies was based on the result of the semantic analysis that proposed the confluence of aggressive and self-rewarding coping strategies into a single area. As will be explained in the Subgroups within the Two Dimensions section of the Discussion, there will consequently be three categories of LIBET semi-adaptive plans: "prudential" (Semi-adaptive Plan 1), prescriptive" (Semi-adaptive Plan 2), and "immunizing" (Semi-adaptive Plan 3).

3
Validating the Diathesis-Stress Model Based Case…

Discussion
In this section we discuss the state of the validation process of the LIBET case formulation procedure and the extent to which the results can be interpreted as a validation of the general CBT diathesis-stress model. In particular, we discuss how far the arrangement of the LIBET case formulation is validated in two dimensions (i.e., life themes and semi-adaptive plans in LIBET), and their exploratory classification in subdomains, comprising three of each. We discuss the extent to which the data supporting this arrangement can be considered a validation of the general CBT diathesis-stress model and in particular of its arrangement in the two dimensions of core beliefs and coping strategies.

Two-Dimensions Hypothesis in LIBET and in CBT
The organization of the LIBET case formulation in two dimensions parallels the bidimensional arrangement into emotional vulnerabilities and coping strategies of the diathesis-stress model as typically interpreted in CBT (Beck, 1976(Beck, , 2008Beck & Bredemeier, 2016;Clark & Beck, 2010;Dobson et al., 2018). As mentioned in the introduction, life themes and semi-adaptive plans retain the conceptual essence of their diathesis-stress counterparts, and do not distort them by adding a developmental aspect to core self-beliefs and a process aspect to coping strategies given that we have shown in the introduction that they were implied and present in the original model. We can therefore argue that there is a correspondence between the two models, and we can assume that the results-which confirm the validity of the life themes and semi-adaptive plans arrangement in LIBET-also support the validity of the diathesis-stress model's arrangement into emotional vulnerabilities represented as core self-beliefs and coping strategies.

Multidimensional Scaling
Multidimensional scaling provides a preliminary answer in terms of the validity of constructs for the bidimensional hypothesis of both the diathesis-stress model and LIBET. Concept mapping of the results of multidimensional scaling revealed four areas interpretable as corresponding to the semantic domains of fragility, danger, and threat (red area), inadequacy, abandonment, and blame (blue area), controlling and avoiding safety behaviors (yellow area), and either dependent or aggressive behaviors (green area). This map is also compatible with the bidimensional diathesis-stress model hypothesis of core self-beliefs and coping strategies because the areas tend to show either specifically emotional or specifically behavioral contents, which can be respectively interpreted as two dimensions corresponding to those proposed in the diathesis-stress model or in the LIBET model.
In fact, in Fig. 1 the red and blue areas show content belonging to the domain of emotional vulnerability, while the other two areas present content belonging to the behavioral domain of coping strategies. Another result compatible with the bidimensional hypothesis is that, as shown in Fig. 1, the two X and Y axes both show a pole toward which results compatible with the emotional vulnerabilities converge (lower extreme of the X and extreme to the right of the Y), words such as "guilt," "rejected," "solitude," and "abandonment," as well as a pole toward which results compatible with coping strategies converge (upper end of the X and extreme left of the Y), words such as "to smoke," "to drink," and "to be angry." In summary, in Fig. 1 we can see, on the right-hand side, emotional variables that may be interpreted as life themes, and on the left-hand side behavioral variables that may be interpreted as semi-adaptive plans. As noted above, this divide may confirm the bidimensionality in both the diathesis-stress model and in the LIBET case formulation arrangement.
Another way to explore the results in more depth in order to confirm this bidimensional hypothesis related to the diathesis-stress model and the LIBET case formulation, is to read the plot of Fig. 1 by using geometric figures drawn between the outermost coordinates of the representation (Greenacre, 1993). The first dimension (X) runs closest to the profile points, and in terms of axial representation, the plot suggests a "negative" X pole (here the terms "negative" and "positive" are artifacts of the algorithm and only refer to coordinates on the graphical representation), populated by aspects related to avoidant and controlling coping strategies (words such as "to avoid," "to distract," "to keep," and "to ruminate"), while the opposite "positive" X pole is populated by aspects related to self-related vulnerability (words such as "sadness," "empty," "to feel abandoned," and "inadequacy"). In the second dimension (Y), the components present two poles: the positive extreme organized the semantic linked to rewarding and dependent behaviors (words such as "to drink," "to smoke," "food"), whereas the negative pole is related again to self-related vulnerability, characterized by words linked to feelings of guilt, solitude, being refused and a general sense of closure.
In Fig. 2, the six areas provided by the analysis of cosine associations between words as the result of the co-word analysis and the co-occurrence matrix, facilitate a mixed interpretation that is nonetheless compatible with this paper's hypothesis. The results show features that can be interpreted as subdimensions of either core beliefs or coping strategies. We can see at least three areas that are very consistent with the hypothesis. They are the pink area related to controlling behaviors ("to seek," "to control," "to handle," "to ruminate"), the red area containing content related to avoidance and withdrawal ("to leave"), and the orange area related to inadequacy ("inadequate," "unsuitable," "shame"). These areas correspond to a core belief content, such as inadequacy, and two behaviors, such as control and avoidance, once again showing separate configurations mainly related to the domain of emotional vulnerabilities or coping strategies, which are compatible with the bidimensional hypothesis.
The contents of the other areas are less internally consistent, but again show content related to emotional vulnerabilities, such as threat, unworthiness, and inadequacy, and to coping strategies, such as avoidant, controlling, and reactive behaviors. In summary, although these results cannot be regarded as conclusive confirmation of the bidimensional hypothesis, they do distinguish emotional vulnerabilities and coping strategies and are therefore compatible with the bidimensional hypothesis.

3
Validating the Diathesis-Stress Model Based Case…

Subgroups Within the Two Dimensions
The analyses presented in Figs. 3 and 4 explore conceptual areas that can be interpreted as subdimensions within the two dimensions. The results of the analysis of lexical specificities represented in Figs. 3 and 4 suggest six clusters that show contents which can be classified as the subdimensions of life themes and semi-adaptive plans.
The clusters can be interpreted in clinical terms comparing the verbal content of each cluster to the emotional vulnerability states described in the clinical and scientific literature. Figure 3 suggests a preliminary list of three categories of life themes.
The first cluster may correspond to a vulnerability state of freezing/panic (Herman, 1992;Ogden et al., 2006;van der Kolk, 1996), which we have linked to the life theme of feeling threatened/inadequate, or the need to possess a protected place of personal safety, nourishment and care (Siegel, 1999). The absence of security can lead to a self-perception of endlessness and disorganization (Ogden et al., 2006).
A second cluster refers to sadness and depression (Bifulco et al., 2006;Huprich, 2003;Kiernan & Huerta, 2008), linked to a life theme of feeling unloved/inadequate, in which, although a partially protective environment may be present, either the exploratory needs of the subject are hampered or everything is provided in a cold atmosphere of emotional deprivation, dismissing affectivity, and in which bodily contact is rare and clumsy (Bosquet & Egeland, 2006;Woodruff-Borden et al., 2002).
The third cluster primarily concerns shame and guilt (Brewin et al., 1992;Huprich, 2003;Irons et al., 2006;Kawamura et al., 2001;Vieth & Trull, 1999), linked to a life theme of feeling unworthy/inadequate, where there is a severely critical, controlling and oppressive relational style and rules are experienced and transmitted in an oppressive, moralistic, guilty and punitive manner. Figure 4 suggests a preliminary list of three categories of semi-adaptive plans. The first cluster corresponds to the prudential plan, in which people tend to avoid aversive and threatening stimulations. The consequence is a failure to develop exploratory and constructive aspects of existence (Barlow, 2002;Blalock & Joiner, 2000).
The second cluster is the prescriptive plan, in which the individual steadily attempts to control, prevent, or resolve any adverse stimuli. This preventive plan can be manifested in either worrying about problems and relationships, or in compulsory controlling behaviors (Barlow, 2002;Moulding & Kyrios, 2006;Ruggiero et al., 2012;Sassaroli et al., 2008;Shafran et al., 2002).
The third cluster pertains to the immunizing plan, in which the subject seeks to exclude from their consciousness any painful state through emotional manipulation of internal state, whether by (1) involving themselves in intensely expressed interpersonal states of anger and aggressivity or (2) either self-rewarding and exciting or reducing consciousness (e.g., taking exciting or sedative substances). These plans are related to intentional states of anger and/or desire (Critchfield et al., 2008;Di Giuseppe & Tafrate, 2001;Mansueto et al., 2019;Martin & Dahlen, 2005;Spada et al., 2013). 1 3 Validating the Diathesis-Stress Model Based Case… Table 4 reports and describes the preliminary categories of Life themes and Semi-adaptive plans in LIBET.

Clinical Implications
LIBET provides a synthetic conceptualization based on individual concrete problem situations that are then included in a general formulation of the case in broader terms: the life themes and semi-adaptive plans. In this way the LIBET conceptualization aims to bring together both REBT's ability to focus on specific problems related to defined situations and Beck's ability to provide a broad view of the case. The LIBET also includes problematic situations from the past, providing a conceptualization of life history as in the constructivist orientation. The LIBET articulates the formulation of the case on the two axes of the CBT diathesis-stress model of vulnerability to emotional disorders, that is, the predisposing factors called life themes (the patient's emotional vulnerabilities perceived in terms of core beliefs) and the maintenance factors called semi-adaptive plans (their coping strategies) that render a disorder chronic.
Coping strategies are the final evolution of the maintenance processes already outlined in the classical cognitive model in terms of the fear of fear circle by Beck (Beck et al., 1985) and even more sharply by Ellis with his seminal concept of secondary ABC (DiGiuseppe et al., 2014, pp. 64-65) as well as in constructive approaches (Guidano & Liotti, 1983;Mahoney, 2003;Sassaroli et al., 2005). On the other hand, predisposing factors formalize those developmental aspects that have also been cultivated in CBT. In this way, the case formulation of LIBET allows one: (a) to assess dysfunctional and transdiagnostic processes of personality functioning independently of the acute phase of emotional disorders; and (b) to explain the interaction between premorbid vulnerability and emotional/behavior disorders, as well as its maintaining dysfunctional coping cycles. In conclusion, the LIBET model may allow the therapist: (1) to move throughout the treatment following a flexible but constant and transdiagnostic conceptualization, using a limited number of variables (transdiagnostic processes) as indicators of flexible functioning; and (2) to plan the therapeutic intervention taking into account both the stage of the symptoms and the map of personality vulnerabilities in terms of painful themes and semi-adaptive plans of mental activity regulation, as well as their interaction.
While Judith Beck's CCD formulation led to a single intervention, namely CBT questioning and behavioral exposure, LIBET aims to provide a range of indicators that allow for clinical choice. While the single technical choice of CBT questioning corresponded to a less historically diverse scenario, such as the CBT of the 1980s, today we are witnessing an increasingly varied technical repertoire that is expanding into both the exploration of personal life history and CBT process-based interventions. Nevertheless, such increased richness is also a risk, and therefore today the formulation of a clinical case must not only be able to provide evidence of internal validity, but also indications for therapeutic choice, which no longer operate in just one way. Consequently, further analyses must involve not only the convergent and divergent validity of LIBET in order to further confirm validity, but above all undertake validity analysis of the indicators for the psychotherapeutic project and planning treatment. The three themes and three plans of LIBET aim to serve this purpose. At present these are not real indicators, but mere heuristics that can be used on the basis of clinical experience. For example, the themes unloved/inadequate and unworthy/inadequate may justify interventions in the developmental history (presumably cold and distant for unloved/inadequate, and critical for unworthy/inadequate), or the classic CBT intervention of the verbal reattribution and procedural acceptance. The prudential and prescriptive plans seem to suggest behavioral interventions of reactivation and exposure alongside the aforementioned classic CBT intervention of verbal reattribution of beliefs that support the feared consequences. Finally, the immunization plan and the threat theme open up the field of skills training and emotional tolerance interventions.

Limitations and Future Directions
The major limitation of this study is that it was performed on a single clinical sample of patients with anxiety and mood disorders. So far, LIBET has not been tested on other disorders of psychotherapeutic interest, such as personality disorders. The results of this study confirming the diathesis-stress model of CBT and validating the LIBET case formulation procedure can therefore currently only be considered valid for this clinical area. On the other hand, we note that the CBT diathesis-stress model was designed by Beck for depression and anxiety disorders. The practical reason for this choice is that our research group started the validation of LIBET because it works in collaboration with a group of CBT-trained therapists working with patients with this type of diagnosis. Of course, the next steps include the application of the LIBET model to other diagnoses, starting with personality disorders. It is possible that in different samples the structure of LIBET may change. In particular, it is possible that the semi-adaptive immunizing plan differs in subgroups. Its nature is already hybrid, as there are either self-rewarding or aggressive behavior types.
Another possible limitation of this study is that we have not yet included in the model reported in Table 1 cognitive models that do not specifically focus on a selfbelief, such as the intolerance of uncertainty outlined by Michel Dugas (Dugas et al., 2004) or the REBT model by Albert Ellis (DiGiuseppe et al., 2014;Ellis & Grieger, 1986). This is because these models focus more on other components of the psychopathological mechanism, components that make them more akin to "third wave" processes than to cognitive contents such as self-beliefs. These processes will be included in the above-mentioned third level of LIBET, which will be presented and validated in the next publication.
Important aspects of reliability and validity remain to be measured; however, we can report here that the inter-rater reliability of the LIBET interview version validated in this study was measured on 30 patients evaluated twice by two raters, AB and CR, in order to calculate the K Cohen index, which was equal to 0.9. Another direction for development is the construction-already started-of a self-administered measurement of LIBET that makes its evaluation more agile.