6.042 lecture 1 finish