ExecutionFinishedState should be sealed