state in contract