TLDR: "نحن بحاجة إلى الابتعاد عن أنظمة الإثبات المتفائلة"