今までシミュレーションっぽくてもシミュレーションにならないと判定されていたのが、厳密にシミュレーションかそうでないかが明確になるなら大歓迎。