Title: Short Introduction to Contracts