end of lecture #17