Cognitive science is itself a cognitive activity. Yet, computational cognitive science tools are seldom used to study (limits of) cognitive scientists' thinking. Here, we do so using computational-level modeling and complexity analysis. We present an idealized formal model of a core inference problem faced by cognitive scientists: Given observations of a system's behaviors, infer cognitive processes that could plausibly produce the behavior. We consider variants of this problem at different levels of explanation and prove that at each level, the inference problem is intractable, or even uncomputable. We discuss the implications for cognitive science.

Colorectal cancer (CRC) is a heterogeneous and complex disease with limited treatment options. Targeting transforming growth factor β (TGF-β) and programmed death ligand 1 pathways may enhance antitumor efficacy. Bintrafusp alfa is a first-in-class bifunctional fusion protein composed of the extracellular domain of TGF-β receptor II (a TGF-β "trap") fused to a human IgG1 monoclonal antibody blocking programmed cell death ligand 1. We report results from an expansion cohort of a phase I study (NCT02517398) in patients with heavily pretreated advanced CRC treated with bintrafusp alfa. As of May 15, 2020, 32 patients with advanced CRC had received bintrafusp alfa for a median duration of 7.1 weeks. The objective response rate was 3.1% and the disease control rate was 6.3% (1 partial response, 1 stable disease); 2 patients were not evaluable. The safety profile was consistent with previously reported data.