end of lecture #9