Update lec4.md