Proof as a path of light