Describir: Analysis with an introduction to proof /