Slightly updated lecture on automation