Using Code Contracts.