Finished StateT