contract definitions section