Summarize chapter17-fsabstractions.pdf