Finished section on truncation dimension