“half leading space” is another name for Half-leading.