Abrams, L. Seeing the Forest and the Trees When Writing a Mathematical Proof. Prompt 2016, 1.