By assumption, this simulation will eventually return an answer.
通过假定，这个模拟将最终返回一个答案。