陈拙没有看他们。
他的粉笔在划掉那片区域後，紧接着在上面写下了一个新的映射关系。
一个极其工整的商空间映射符号。
写完这个，陈拙停下了笔。
他转过头，先看了看阿伦，又看了看山姆。
「把它的质量映射出去。」
他指了指自己刚写下的那个商空间符号。
「阿伦需要引力子来保证物理的自洽，山姆需要减少参数来保证数组不溢出。」
陈拙拿着粉笔，在那个符号的下方轻轻点了一下。
「那就构造一个等价类。」
陈拙看着他们，语速不快，但每一个字都卡在逻辑的最深处。
「把所有带有质量张量的物理状态，全部摺叠进这个商空间里，在常数墙的外面，它是存在的。」
陈拙转过视线，看向自己最初画下的那堵代数墙。
「但在算法的循环体里，它只表现为一个等价点。」
陈拙放下手，退回了刚才的位置，把空间重新让给他们。
「不要在我的常数墙里面算质量。」
陈拙带着一种不容置疑的断言。
「映射出去，外面归物理，里面归代码。」
争吵声戛然而止。
阿伦盯着那个商空间的等价类符号，原本因为愤怒而充血的脑子瞬间冷却了下来。
物理规律没有被破坏，引力子还在，只是被数学手段打包了。
山姆的眼睛也猛地亮了，摺叠成等价点，意味着在代码里，那只是一个不占内存的指针，数组不会溢出了。
在两个陷入疯狂死角的大脑之间，陈拙没有用任何提高的音量，只用了一行白色的商空间映射，就完成了一场最冷酷，最精准的逻辑裁剪。
山姆没有再看阿伦，他直接转过身，几乎是扑到了黑板上。
「这就对了......」
山姆嘴里语无伦次地念叨着，手里的黄色粉笔再次疯狂地动了起来。
阿伦也一言不发地回到了黑板前，贴着山姆，开始顺着陈拙的等价类往下补全真空态的方程。
三个人再次挤在了一起。
粉笔灰越来越浓，落在衣服的褶皱里，落在鞋面上。
数学符号和代码的增加速度，比刚才还要快上几分，黑板上发出的摩擦声，像是一场停不下来的暴雨。
时间在不知不觉中流逝。
…。。