Writing is formalized thinking