Extracted state.