updated Lecture11.lhs