finalStateSet works and tested