Text this: Contract as assumption :