Why students have difficulty with a proof (such as Cantor's) is discussed, with the focus on proof by contradiction. Methods may fail due to the difficulty of the concept and lack of understanding of how students are thinking. (MNS)