Print stuff better; add writeup