Added finalCurrentState() (needs to be renamed)