Writing proofs in analysis. (2016)