a few additions to the main writeup outline