contract definitions example