This article argues that process tracing is a viable and suitable methodological alternative to probe the implications of formal models specifying how the dynamics of belief formation may systematically cause bargaining failures under uncertainty. I illustrate the argument with a brief case study of the failure of the European Defence Community in postwar Europe.