private void ObjectInvariant() { Contract.Invariant(Connected.TrueForAll(x => Connected.FindAll(y => x == y).Count <= 1)); }