Journal

Notes on building, and on proving.