lecture 0: welcome!