Slight update to the summary to reduce redundancy. We should reconsider
whether the introduction really needs to summarize all the individual
reports.