edit lecture: add do notation etc