void ICollection <T> .CopyTo(T[] array, int arrayIndex) { Contract.Assume(arrayIndex < array.Length); array[arrayIndex] = value; }