Revised notes based on Mike's feedback.