Add first generalizations of state.