It is essential that an algorithm produces correct results (discounting human or computer errors), even if this happens after a very long time."
Це суттєво, що алгоритм видає правильний результат (зважаючи на помилки людини чи комп'ютера), навіть якщо це стається за великий проміжок часу.»