[Lecture 1] Added tiny comment about redefinitions.