TLDR: "Нам потрібно відійти від систем оптимістичних доказів"