edit lecture: separate lazyEvaluation2 to ...