Added subsection on contracts, with example