Begin formal writeup