lect0-intro-2627-ho.pdf