lec8 becomes lec9