الذكاء الاصطناعي متفائل بالووردسيل وهابط لهواة الشكل المدحر. دوران الشكل هو رياضيات. الرياضيات قابلة للتحقق. جميع المشاكل القابلة للتحقق (خاصة كود) قد سقطت. الكتابة هي رأي. الرأي غير قابل للتحقق. بالإضافة إلى أن البشر يجدون الكتابة الآلية (شرطة m) مقززة.