Setting Up the System for Contracts