This paper is a case study of the teaching of an undergraduate abstract algebra course, in particular the way the instructor presented proofs. It describes a framework for proof writing based on ...