Lecture 6 updated

More trace examples