prosem2/slides.pdf