contract specification