Linear Contract Specifications