Contracts in a Nutshell (Nutshells)