constraint on the state