Contracts in a Nutshell