diagram from L3
Lecture 8, renaming lec1..3