看着他，眼神里没有爱，只有一种奇怪的释然。
最后一个记忆碎片：林霜在定义命题的最后一秒，嘴唇动了，无声地说了一句话。
谢铭读出了口型：对不起。
然后他听到了阴影谢铭的声音，但不是从外部，是从自己体内：
“你知道她为什么说对不起吗？”
“因为她在利用我？”谢铭问。
“不。”阴影谢铭的声音变得柔和，“因为她不知道自己是不是在利用你。她定义命题时，已经把自己的情感删除了——所以连她自己也不知道，她对你有没有爱。”
谢铭沉默了。
***
在循环的底部，他看到了一个出口。
不是门，不是通道——是一个逻辑缺口。只要他愿意，他可以把林霜的命题改写，让她从循环中解脱。但代价是：他自己会被困在这里，接替她成为新的循环。
“这是你的选择。”阴影谢铭说，“留在外面，让她的命题永远运行——或者进来，让她自由。”
谢铭盯着那个缺口。缺口里，他看到林霜最后的表情——不是恐惧，不是悲伤，是释然。像终于完成了一直在做的作业。
“她知道自己会被困在这里？”谢铭问。
“她知道。”
“那她为什么还要定义这个命题？”
“因为这是她唯一能让你记住她的方式。”阴影谢铭说，“她知道你会来找她。她知道你会看到这个循环。她知道你会面临这个选择。”
谢铭的手指在颤抖。
“她在赌。”阴影谢铭继续说，“赌你会选择让她自由，而不是让自己记住她。”
“如果我不选择呢？”
“那她的命题会永远运行下去。你会永远记得她——但永远找不到她。”
谢铭闭上眼睛。
他想起林霜消失那天的样子。她站在裂缝边缘，回头看了他一眼。那一眼里，他看到了什么？爱？愧疚？还是单纯的告别？
他不知道。
他永远不知道。
因为林霜自己也不知道。
“你确定这是真的？”谢铭问。
“什么？”
“她删除了自己的情感。你确定这不是你编的？”
阴影谢铭沉默了。很久。
“我不确定。”他说，“因为我是你的副本。你的记忆里，她可能删除了情感——也可能从来没有过。”
谢铭睁开眼睛。
“但有一件事是确定的。”阴影谢铭说，“这个循环是真的。她的命题是真的。你的选择是真的。”
谢铭看着那个缺口。
他想起第一次见到林霜时，她