Summarize chapter18-fsimpl-lecture.pdf