Many updates to the introduction