Updated lecture F9