Revised section 2 based on peer feedback.