Similarly, if someone became aware, through measuring a number of right angled triangles, that their sides do, in fact, have the well known relation to one another, we should consider his (mere awareness of the fact unsatisfactory.