Using strategies from a new, NSF-funded curriculum, CME Project, this presentation shows techniques to help students develop and write formal proofs in algebra and geometry, with special attention on constructing a complete logical chain of reasoning.