Initial files from lecture notes