Text this: On some properties of the length function.