#state-extraction