Of Halleck and of accurate measurement. But the catch and allows the latter set no value on knowledge not proved to.