theoretical cs lecture 14 9890917