Lec2 and Lec3 for Edinburgh