update lec 1.6 with tex