Helps students progress from a facility with computational procedures to an understanding of abstract mathematical concepts. Students develop their ability in mathematical communication through reading proofs, constructing proofs, and writing proofs in correct mathematical language.