Любая логическая цепочка - как компьютерная программа.
Пользователь не всегда делает так, как планирует его действия программист.
Но если в программу можно вставить код обработки ошибок времени выполнения, то как обезопасить от провала, как проверить на подлинность логическую цепочку, рассчитанную на предсказание?