Initial version of lecture9.fs. Will be added code to during the lecture.