кратко: "нам нужно отказаться от оптимистичных систем доказательства"