History and research on proof by contradiction suggests proof by contradiction is difficult for students in a number of ways. Students’ comprehension of already-written proofs by contradiction is one such aspect that has received relatively little attention. Applying the cognitive lens of Action-Process-Object-Schema (APOS) Theory to proof by contradiction, we constructed and tested a cognitive model that describes how a student might construct the concept ‘proof by contradiction’ in an introduction to proof course. Data for this study was collected from students in a series of five teaching interventions focused on proof by contradiction. This paper will report on two participants as case studies to illustrate that our cognitive trajectory for proof by contradiction is a useful model for describing how students may come to understand the proof method.