[cs702]

Well, that's embarrassing. I watched the lecture a long while ago, and somehow my puny little organic brain misremembered the lecturer.

Thank you for the correction.

And apologies to Daskalakis!