Lec3-sg and Lec4