private void Add(object parameter) { Contract.Requires <ArgumentNullException>(parameter != null); inMemoryDatabase.AddCardHolder(Cardholder); }