Adding and Maintaining Contracts