Кодовые контракты - предположить против требований

В чем разница между этими двумя операторами?

Contract.Requires(string.IsNullOrWhiteSpace(userName));

Contract.Assume(string.IsNullOrWhiteSpace(userName));