Test FinalState