Determinate similarity and comparability among lengths is explained by Armstrong's partial identity ...