听我们的介绍，我们也肯定不想听到他们的回应：我们有东西要向他们展示！……在某种程度上，这是有点儿讽刺的，因为我们已经满足了他们的期望；其次，他们没有太在意它。逻辑理论家很快就证明了数学原理第2章中的前52个定理中的首38个，当中定理2.85的证明实际上比罗素和怀特黑德手抄的证明更优雅。西蒙能够向拉塞尔本人展示新的证明，他“高兴地回答”。他们试图将新的证明发表到《符号逻辑学报》中，但它被拒绝的理由是一个基本数学定理的新证明并不值得注意，显然忽略了其中一个作者是计算机程序的事实。纽厄尔和西蒙建立了长久的合作