theocs:lecture4