The concept of measuring lengths.