final instead of termination? or is the state destroyed when this is reached?