Definitions for "Free length"