contract example