Update sem4.md