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