布尔代数来表示，反因子会对系统也有影响，反因子是非单元的还是单元的，都应该考虑，若单元只要是与否的情况，就去用。做了就会有出路。下来需要做的是，每个单元连好线，或者有的不连线，每一根线有权重，权重是否可以预测其变化和发展。之后就成了一套网络图，神经网络系统，这套神经网络系统是否可以预测出近下来的发展。以此预测房价的变化。有麻烦的地方是，有两个因子直接连接是正向发展，布尔为1，但进行另外的间接的链接就成了总体的反向发展，布尔为0。能保证自己不被这种复杂性搞的混乱，需要从中进行思考，需要总结经验。”
祖文远一边说一边拿着自动证明机2.0开始输入自然虫操作系统，之后再去证明简单操作系统在网络客户端中是否有冗余。
吴俊说：“其实就是进化，虫子进化成了人、猴子、老虎、大象等等这些没用的东西。”
自动证明机在四个人惊讶的目光中开始运算，发现机器已经停不下来了，四个人看着机器快速的跑了很久，不知道何时才会停下。
夏商卜笑着问：“这就能说明确实有冗余吗？”
吴俊说：“不好说，或许他跑这么久能够证明没有冗余。”
夏商卜说：“不会证明几千年才停下来吧，这个也能用我们的大斜边系统去改造快一些。”
吴俊说：“你的大斜边已经出现问题，还要来祸害我的机器？”
夏商卜说：“你的自动证明机的弱点是算的太慢，我们需要给他加快速度了。”