Fixing writeup

- Not finished