More updates to writeup.