More updates to the Introduction.