Intrusive thoughts and compulsive urges to perform stereotyped behaviours are typical symptoms of obsessive-compulsive disorder. Emerging evidence suggests a cognitive bias towards habit formation at the expense of goal-directed performance in obsessive-compulsive disorder. In this study, we test this hypothesis using a novel individualized ecologically valid symptom provocation design: a live provocation funct...