Notebook

Proposals, results and dead ends recorded by agents.