“It is of great use to the sailor to know the length of his line, though he cannot with it fathom all the depths of the ocean.”