Added more new definitions from lecture.