Revision in our thinking notebooks