Use code contracts.