Update 18.lhs