林未出发去巴黎的那天，北京是一个晴朗得有些过分的秋日。
天空像一块巨大的、被擦拭得一尘不染的蓝色玻璃，高远，辽阔，不带一丝云。
程澈陪她去了机场。
他们一路上说的话很少。没有嘱咐，没有约定，甚至没有太多关于未来的讨论。他们聊了聊最近上映的一部科幻电影，争论了一下里面关于时间旅行的设定是否符合物理学定律。他们聊了聊学校门口那家新开的奶茶店，林未吐槽它的珍珠煮得太硬，程澈则从化学角度分析了珍珠粉圆在不同水温下糊化反应的差异。
他们用一种极致的、属于他们自己的方式，回避着那个真正重要的、关于“告别”的话题。
机场大厅里人声鼎沸，广播里不断播报着航班信息，行李箱的滚轮在光洁的地面上滑过，发出单调而持续的轰鸣。这一切的嘈杂，都像一层无形的隔音罩，将他们两人包裹在一个小小的、安静的气泡里。
他们一起办了托运，一起走到了安检口。那个代表着“分离”的、冰冷的闸机，就在眼前。
林未停下脚步，转过身。她看着程澈，眼睛在机场大厅明亮的灯光下，显得格外清亮。
“好了，”她说，语气轻松得像只是去楼下便利店买瓶水，“就到这里吧。”
程澈点了点头，喉咙有些发干。
“嗯。”
他想说“一路顺风”，想说“到了报个平安”，想说“照顾好自己”。这些都是标准的、符合社交规范的、最优的告别语。
但他一个字都说不出来。
他感觉自己像一台被抽空了所有预设程序的机器人，站在原地，无法做出任何反应。
林未看着他那副有些僵硬的样子，忽然笑了。
她拉开她那个米白色的帆布袋，从里面掏出了一张小小的、粉色的便利贴。
“这个给你。”
她踮起脚，将那张便利贴，轻轻地，贴在了程澈胸口的衬衫上。那个位置，正好对着他的心脏。
“最后一张了。”她小声说，像在分享一个秘密。
“上了飞机才能看。”
程澈低头，看着胸口那片小小的、柔软的粉色。它像一枚奇怪的、不合时宜的勋章。
等他再抬起头时，林未已经退后了两步，对他用力地挥了挥手。
她的脸上，依旧是那种他熟悉的、带着一点狡黠和促狭的笑容。她的眼睛里，有星辰，有光，却没有泪。
“再见，程澈。”
她说完，没有再给他任何回应的机会，转身，刷过登机牌，消失在了安检口那道白色的门后。
干脆，利落，不带一丝留恋。
一如她闯入他世界的方式。
程澈一个人在人潮汹涌的大厅里，站了很久很久。
他能感觉到胸口那张便利贴的存在，隔着一层布料，传来微弱的、几乎可以忽略不计的重量。但那重量，却又像压着他所有的心跳。
他没有立刻去看，他遵守着她的游戏规则。
他转身，离开机场，坐上回学校的大巴。他看着窗外飞速倒退的风景，大脑一片空白。
他第一次，放弃了思考，放弃了分析，放弃了对一切未知进行建模的本能。
他只是安静地，等待着。等待着，那个最终的“宣判”。
三个小时后，程澈坐在飞往上海的飞机上。一个临时的家庭事务，让他不得不更改了下午的所有计划。
当飞机穿过云层，进入平流层，窗外是万里无云的、纯粹的蓝色时，他终于，小心翼翼地，从胸口的衣袋里，取出了那张已经带上了他体温的、粉色的便利贴。
他的指尖，甚至能感觉到一点轻微的颤抖。
他展开它。
上面是她那熟悉的、带着一点随性弧度的字迹。
【程澈，如果爱是函数，我希望我们的定义域，是彼此整个生命。】
程澈的心脏，在那一瞬间，像是被一只温暖的手，轻轻地托住了。
他的系统，在0.1秒内，对这句话进行了高速解码。
【输入：函数论比喻。】
【变量‘定义域’：指函数自变量的取值范围。】
【语义转译：‘彼此整个生命’作为函数输入。意味着，她希望他们之间所有的时间，所有的经历，无论好坏，无论对错，都是构成他们关系的、有效的部分。】
【结论：一种基于过程而非结果的、最高等级的情感承诺。】
一种巨大的、从未有过的狂喜，混合着一种难以言喻的酸涩，席卷了他。
他懂了，他终于用他的语言，读懂了她的告白。
他以为，这就是全部了。
但他无意识地，翻动了一下那张小小的纸片。
他看到了纸的背面。
背面，还有一行更小的、像是犹豫了很久才写下的小字。
【但值域，允许是空集。】
轰——
那一瞬间，程澈感觉自己像一颗被黑洞捕获的行星，所有赖以存在的物理定律，都在瞬间，分崩离析。
如果说，正面那句话，是她用他的语言，为他构建了一个天堂。
那么，背面这行字，就是她亲手，将这个天堂的底层逻辑，彻底抽空。
值域，函数的输出结果的集合。
允许是空集，这意味着，哪怕他们用尽一生的时间去输入，去经历，去纠缠，最终的输出结果，也可能……什么都没有。
没有在一起，没有一个确定的关系，没有一个世俗意义上的、可以被定义的“结果”。
这才是她真正的答案。
一个彻底拥抱了“不确定性”的、终极的答案。
飞机飞得很平稳，窗外的阳光灿烂得刺眼。但程澈的世界，却在这一刻，天翻地覆。
他靠在舷窗上，冰冷的玻璃贴着他的额头。他看着那句“值域，允许是空集”，看了很久很久。
他想起了那场山顶的对话，她说“抵达是为了看见更多的未抵达”。
他想起了志愿填报日，她说“艺术没有退路，只有前路”。
他想起了那份被他命名为《爱情不可能定理》的报告，和他那个被“低于40%”的匹配度宣判了死刑的算法。
他一直以为，他们之间的问题，是理性和感性的冲突，是确定和不确定的对决。
直到这一刻，他才彻彻底底地明白。
他错了，他们之间，从来没有“问题”。
因为，她从未想过要一个“解”。
他毕生追求的，是为每一个问题，找到一个唯一的、最优的解。
而她，她只是享受着那个问题本身。她甚至愿意用一生，去爱一个，可能永远没有答案的问题。
一种巨大的、前所未有的失落感，攫住了他。
那不是失去一个人的悲伤，那是一种更深层次的，类似于信仰崩塌的……空无。
他第一次，如此清晰地，感觉到了“失去”的实感。
他失去的，不是林未。
他失去的是那个，他一直试图用公式和算法去捕获、去定义、去“拥有”的，关于爱情的“最优解”。
他输了，输得心服口服。
输给了她那句，允许“空集”存在的、温柔的残忍。
那天回到家后，程澈做了一件事。
他找出那张粉色的便利贴，用一张透明的塑封膜，将它小心翼翼地、完整地封了起来。
像在保存一件，出土的、绝版的、神圣的文物。
他把它放进了自己钱包最深的夹层里。
从此，他的世界，有了一个永恒的、无法被简化的、允许一切结果的……初始公理。
而这个公理的名字，叫林未。