Learning to Prove

Why measuring is not knowing