CodeContracts stuff.