IReadOnlyList<Property> TotalCurrentDensity.Properties { get; }