Instantiating a specific sum of unit lengths entails instantiating the determinable property of leng...