Modeling Contracts