Smith knows that a particular triangle contains 180 degrees because he has measured it, while Jones knows it by definition. But do they know the same thing?
