Does Contract.Require make Contract.Assume redundant?

Question

If I have the following piece of code, is the Contract.Assume part redundant?

int SampleMethod(int x)

{

Contract.Requires(x >= 0);

Contract.Assume(x >= 0);

x += 5;

return x;

}