My other memory of this class is the professor spending a lecture telling us he'd just been promoted to full professor and how important that was, and the last

My other memory of this class is the professor spending a lecture telling us he'd just been promoted to full professor and how important that was, and the last time I looked him up, he'd become a director at Google Cloud.