причем обратный подход, нет заведомо правильного "пароля", предоставляется избыточные решения, и лотерейно выбирается одна ветка решений, я так понимаю.
наверное можно 100 страничное математическое доказательство наваять с нобелевской премией как вишенкой на торте, но интуитивно понятно что нельзя в тьюринговой модели от пулов избавиться.