祖文远说：“这里有个问题，让重复信息减少是可以的。只是这个冗余是个什么东西？”
华罗说：“就是一个大家停下来之后，依旧做着强大运算的怪异东西。”
祖文远说：“这个东西怎么用数学来表达呀？”
华罗说：“听说你们的自动证明机2.0已经可以使用，可以计算这个吗？”
祖文远说：“网路冗余这个命题需要用简单的逻辑符号表示出来才可以做这个工作呢！”
华罗说：“能不能把大斜边计划的构架用简单逻辑符号表示出来，运算出这种冗余？”
吴俊说：“你可以找孔丘明那里的人问问吗？毕竟网络是他们做出来的。”
华罗说：“只是我和他的领导不太一样，会不会遭嫌疑？”
吴俊说：“别乱想，那是他们高层的问题，你可是需要解决当下的问题呀。如果你解决不了净化网络的问题，你还得离开你的岗位。”
华罗想了想有些道理，他马上联系夏商卜来讨论，虽然夏商卜因为这个事情近期被孔丘明警告了，但是他没有灰心，还是很兴奋的积极来到咖啡屋。此刻是四个人开始讨论这个问题了，他们跟夏商卜说了情况。
夏商卜说：“我致力于想写一个操作系统，可以为什么会出现这些问题？这个我也想不出来。我甚至想用最简单的方式来进行运算的。简单到根本不想掺杂任何没有用的东西。”
华罗说：“你的操作界面看起来确实是最简化的，只会有极为必要的简单设置，除此以外没有任何其他杂质。”
吴俊说：“这个我知道，我们都用你的操作系统，都觉得很不错，但是肯定有些东西产生问题了。是不是里面本身还是包含了你没注意到的一些东西？操作系统毕竟要形成文件化管理。”
夏商卜说：“不会的，你可以把我的操作系统比喻成一只虫子。”
卡莱因觉得很有趣的笑着说：“那是什么样子？思路是什么？”
夏商卜把自己操作系统的灵感说成是一只虫子，夏商卜认为虫子不会占地方，虫子需要适应环境就行，操作系统跟虫子一样小。
虫，很简单，不需要复杂的大脑，就能够做最简单直接的事情。
自然界最先有虫，虫的适应能力很强，要求也不多，只做简单的求生。
不同的虫有各自不同的功能，而且还很强大，在对应的领域可以干很多了不起的事情。