Double TotalVelocity.Probability { get; }