lectorials/week7/lectorial1.md