lecture17-dave