#state-derivation