Model contracts

tag Model contracts