yesterday
This section is clearly an internal note that has somehow ended up in the lecture without any quality control.
Not the only problem in the lecture.
never-displayed