Title: Knowledge, Proof and Dynamics