Cleaned writeup