[Introduction] Set-up: Contracts