Obsessional-compulsive checking: Experimental replication and development

The purpose of this experiment was to resolve some inconclusive findings from an earlier study on the effects of compulsive checking rituals. Twelve obsessional-compulsive checkers carried out a provoking act followed by their compulsive checking ritual, in natural situations, under two conditions—E present and E absent. The provoking act produced subjective discomfort, tension, worry and anxiety; these feelings were reduced after completion of the checking ritual. Both the increases and post-ritual decreases in discomfort were more pronounced in the spontaneous occurrence condition (E absent). The results are consistent with the hypothesis that compulsive rituals serve to reduce discomfort.     

Obsessional-compulsive complaints

A simple questionnaire was developed as an instrument for assessing the existence and extent of different obsessional-compulsive complaints. Two major types of complaint, checking and washing compulsions, and two minor types, slowness and doubting, were established. The final form of the questionnaire, and major properties, are presented.     

Repeated checking causes memory distrust

This paper attempts to explain why in obsessive-compulsive disorder (OCD) checkers distrust in memory persists despite extensive checking. It is argued that: (1) repeated checking increases familiarity with the issues checked; (2) increased familiarity promotes conceptual processing which inhibits perceptual processing; (3) inhibited perceptual processing makes recollections less vivid and detailed and finally; (4) reduction in vividness and detail promotes distrust in memory. An interactive computer animation was developed in which participants had to perform checking rituals on a virtual gas stove. Two separate experiments were carried out with n=39 (Experiment I) and n=40 (Experiment II) healthy participants. In both studies, the control group and the experimental group were given the same pre-test and post-test on the virtual gas stove. In between, the experimental group engaged in 'relevant checking', i.e. checking the gas stove, while the control group engaged in 'irrelevant checking', i.e. checking virtual light bulbs. In both experiments there were powerful effects of repeated 'relevant checking': while actual memory accuracy remained unaffected, the vividness and detail of the recollections were greatly reduced. Most pertinently, in both experiments relevant checking undermined confidence in memory. No such effects were observed in the control group. One might argue that the pre-test/post-test design may have made the control group anticipate a memory assessment at the post-test and that this artifact made them relatively alert producing memory confidence at post test that was artificially high. A third experiment was carried out (n=2 x 20) in which no pre-test was given while, other than that, Experiment III was identical to the first two experiments. Results confirmed earlier findings: compared to the irrelevant checking control group, recollections in the relevant checking group were non-vivid, non-detailed while confidence in memory was low. The theory and data suggest an answer to the question 'why memory distrust persists despite repetitive checking'. In people who check extensively, memory distrust may persist as a result of repetitive checking. OCD checking may be motivated by the wish to reduce uncertainty, but checking appears to be a counter-productive safety strategy. Rather than reducing doubt, checking fosters doubt and ironically increases meta-memory problems.     

Body checking behaviors in men

Males have been facing increasing pressure from the media to attain a lean, muscular physique, and are at risk for body dissatisfaction, disturbed eating and exercise behaviors, and abuse of appearance- and performance-enhancing drugs (APEDs). The aim of the current study was to examine the relationship between body checking and mood, symptoms of muscle dysmorphia, importance of shape and weight, and APED use in undergraduate males. Body checking in males was correlated with weight and shape concern, symptoms of muscle dysmorphia, depression, negative affect, and APED use. Body checking predicted APED use and uniquely accounted for the largest amount of variance in Muscle Dysmorphic Disorder Inventory (MDDI) scores (16%). Findings support the view that body checking is an important construct in male body image, muscle dysmorphia, and body change strategies and suggest a need for further research.     

An experiment on obsessional checking

An experiment was carried out on 12 patients complaining of obsessional checking rituals in order to determine whether: (a) the execution of potentially ‘harmful’ acts produces discomfort and (b) whether the act of checking produces relief. With some exceptions and reservations, it was concluded that execution of the act does produce discomfort and completing a check does bring relief. The results are seen as providing some support for theories which depend on the concept of anxiety reduction/avoidance.     

Level of agency in sub-clinical checking

This study examined cognitive representations of routine action, through the assessment of level of agency, in individuals with sub-clinical checking. The level of agency stems from Action Identification Theory [Vallacher, R. R., Wegner, D. M. (1989). Levels of personal agency: Individual variation in action identification. Journal of Personality and Social Psychology 57, 660-671], which states that how actions are usually identified (based on instrumental aspects or purpose) reflects the predominant accessibility of internal representation (movements executed vs. goal pursued). Furthermore, this framework proposed that altered action regulation is related to low-level of agency (i.e., action identification at an instrumental level). In the current study, the main result indicated that checking symptoms were related to a low-level of agency, that is, individuals with sub-clinical checking identified habitual actions on the basis of instrumental aspects. This seems to indicate that checkers may act with a lack of goal representations. The results are discussed in terms of the role of low-level of agency in checking phenomena and related cognitive dysfunction.     

A cognitive theory of compulsive checking

It is proposed that compulsive checking occurs when people who believe that they have a special, elevated responsibility for preventing harm, mainly to others, are unsure that the perceived threat has been reduced or removed. The intensity and duration of this checking is determined by three "multipliers": increased responsibility, probability of harm and anticipated seriousness of harm. The recurrency of the checking is promoted by a self-perpetuating mechanism, comprising four elements: paradoxical increases in responsibility and in perceived probability of harm, reduced confidence in memory and the absence of a certain end to the threat. The relation between compulsive checking and other anxiety disorders is examined and the successes and failures of past or present treatments re-considered. Experimental predictions are set out and the therapeutic implications of the construal are discussed.     

An experimental analysis of body checking

The relationship between repeated body checking and its impact on body size estimation and body dissatisfaction is of interest for two reasons. First, it has importance in theoretical accounts of the maintenance of eating disorders and, second, body checking is targeted in cognitive-behavioural treatment. The aim of this study was to determine the impact of manipulating body checking on body size estimation and body dissatisfaction. Sixty women were randomly assigned either to repeatedly scrutinize their bodies in a critical way in the mirror ("high body checking") or to refrain from body checking but to examine the whole of their bodies in a neutral way ("low body checking"). Body dissatisfaction, feelings of fatness and the strength of a particular self-critical thought increased immediately after the manipulation among those in the high body checking condition. Feelings of fatness decreased among those in the low body checking condition. These changes were short-lived. The manipulation did not effect estimations of body size or the discrepancy between estimations of body size and desired body size. The implications of these findings for understanding the influence of body checking on the maintenance of body dissatisfaction are considered.     

Repeated checking really does cause memory distrust

Memory phenomena associated with obsessive-compulsive disorder (OCD) have received increased attention in the recent literature. Some debate remains about whether OCD is characterized by deficits in memory per se, or by poor memory confidence. Following from a recent study that demonstrated memory distrust results from repeated checking of a virtual computerized stove, we asked 50 undergraduate students to repeatedly turn on, turn off and check either a real kitchen stove (relevant checking) or a real kitchen faucet (irrelevant checking) in a standardized, ritualized manner. All participants completed a final check of the stove following these 19 checking trials. Results indicated that following repeated relevant checking, participants reported significantly reduced memory confidence, vividness and detail. Repeated irrelevant checking did not produce these decreases. Results are discussed in terms of cognitive-behavioural formulations of OCD and in terms of the effects of repetition on memory and metamemory.     

Data-driven type checking in open domain question answering

Many open domain question answering systems answer questions by first harvesting a large number of candidate answers, and then picking the most promising one from the list. One criterion for this answer selection is type checking: deciding whether the candidate answer is of the semantic type expected by the question. We define a general strategy for building redundancy-based type checkers, built around the notions of comparison set and scoring method, where the former provide a set of potential answer types and the latter are meant to capture the relation between a candidate answer and an answer type. Our focus is on scoring methods. We discuss nine such methods, provide a detailed experimental comparison and analysis of these methods, and find that the best performing scoring method performs at the same level as knowledge-intensive methods, although our experiments do not reveal a clear-cut answer on the question whether any of the scoring methods we consider should be preferred over the others.     

Body checking and avoidance among behavioral weight-loss participants

The present study examined the psychological and weight-related correlates of body checking and avoidance behaviors in individuals who have lost weight through obesity treatment. Among 185 individuals in behavioral weight-control treatment, the prevalence of body checking and avoidance behavior was assessed, as well as the relationship of checking and avoidance to attitudinal disturbances, weight loss, and perception of struggling in treatment. Checking and avoidance were frequent, and they correlated significantly with higher overvaluation of shape and weight, lower self-esteem, greater body dissatisfaction, higher fear of fat, and the perception of greater struggling in weight-loss treatment. Checking was inversely correlated with the percentage weight lost in treatment and BMI lost but not related to pre-treatment or current BMI. Thus, body checking and avoidance behaviors were associated with psychological disturbances and poorer treatment outcome.     

Efficiently checking propositional refutations in HOL theorem provers

This paper describes the integration of zChaff and MiniSat, currently two leading SAT solvers, with Higher Order Logic (HOL) theorem provers. Both SAT solvers generate resolution-style proofs for (instances of) propositional tautologies. These proofs are verified by the theorem provers. The presented approach significantly improves the provers' performance on propositional problems, and exhibits counterexamples for unprovable conjectures. It is also shown that LCF-style theorem provers can serve as viable proof checkers even for large SAT problems. An efficient representation of the propositional problem in the theorem prover turns out to be crucial; several possible solutions are discussed.     

Model checking propositional dynamic logic with all extras

This paper presents a model checking algorithm for Propositional Dynamic Logic (PDL) with looping, repeat, test, intersection, converse, program complementation as well as context-free programs. The algorithm shows that the model checking problem for PDL remains PTIME-complete in the presence of all these operators, in contrast to the high increase in complexity that they cause for the satisfiability problem.     

Attenuating memory distrust in a repeated checking task

Repeated checking has been demonstrated to lead to reductions in memory confidence in several previous studies using student and clinical samples. This process of reduced confidence in memory and detail for memory, are thought to arise from the inhibition of perceptual processing that develops during repeated checking. Our research investigated whether reduced memory confidence from repeated checking could be attenuated through the use of novel stimuli during the repeated checking task. Three groups were generated through random assignment of 65 undergraduate students. As seen in previous research, individuals who repeatedly checked a stimulus (a virtual stovetop) showed reduced memory confidence, vividness, and detail, when compared with individuals who repeatedly checked a different stimulus. A third group in which the colour of the repeatedly-checked stovetop changed every five trials showed no significant decline in memory confidence between the pre-test and post-test. Results suggest that increased memory distrust can be ameliorated through the use of stimuli with characteristics that are novel and distinctive. Findings are discussed in the context of the existing model of repeated checking and memory confidence, and implications for treatment methods are presented.     

Digital daydreaming: Introducing the spontaneous smartphone checking scale

Smartphones are a ubiquitous part of many people's lives, but little is known about their impact on everyday thought processes. Here we introduce the spontaneous smartphone checking scale (SSCS)—which measures the tendency to direct attention toward one's smartphone, unpreceded by external prompts (e.g., notifications, or alerts) and with no specific conscious goal in mind, as a parallel to mind-wandering directed toward internal thoughts. The SSCS showed good psychometric properties and construct validity. It separated from measures of daydreaming and mind-wandering by not loading on dimensions related to self-consciousness, reflection, and rumination, but instead loading highly on a factor associated with other aspects of digital communication and concerns about public appearance on social media. This suggests that spontaneous smartphone checking serves different mental and social functions than internally generated spontaneous thought processes. We discuss possible long-term effects of spontaneous smartphone checking taking up time for internally generated spontaneous thoughts.