IReadOnlyList<Property> ContactElasticSlipTracker.Properties { get; }