FinalState working