荷兰，费尔德霍曼，阿斯麦公司总部。
卢宁切尔斯曼正静静的坐在办公室里，看着对面屏幕里那张脸，并认真的倾听着耳机中传来的声音。
“根据我们得到的情报汇总，你们的忧心毫无道理。知道吗？这甚至很可笑，你应该相信，半导体行业任何相关的动态，我们都能第一时间掌握。你要相信，没人能瞒过整个上下游产业链的，没有人！”
“但那篇论文”
“假象！又或者说正如那篇论文里的用词那样，一切都只是推测。当然，我也咨询过一些专业人士。是的，从理论上来说，根据论文的确可能设计出一种新的无法拆卸跟迁移成本极高的光刻模式。但那又怎么样？如此浩大的工程从无到有需要多久你知道吗？卢宁，十年，甚至更长时间！你想知道十年会发生什么？”
卢宁切尔斯曼没有回答，只是默默的看着对方。
好在视频中的老人并不在乎卢宁的沉默，依然用他极富感染力的话语说着：“十年阿斯麦将能在我们的帮助下，研究出性能更加强劲的产品。你还记得上个十年阿斯麦的产品吗？相信我，卢宁，我们拥有世界最领先的技术储备，还拥有数以万计拥有丰富经验的工程师，同时我们还拥有者整个基础产业链的话语权。”
“跟我们比起来华夏拥有的太少了！你要相信，不管从哪个方向去看，他们都不可能在短期内找到产业链的替代品。这是一件很可笑的事情，那么多的人竟然被一篇发出又被要求撤稿的论文给骗了！太刻意了，难道你不觉得吗？论文发布后再撤回有什么意义？他们明明知道所有人都已经看过那篇论文。”
沉默良久，卢宁切尔斯曼终于开口道：“好吧，所以我能相信伱，对吗？我的朋友？”
“当然！我们有遍及全球的情报网络，这个世界上发生的一切事情，都逃不过我们的眼睛。你应该相信没有任何研究机构能够悄无声息的造出如此宏大的一台机器，不留下任何痕迹。知道吗？不需要我提醒你，这是一个大数据的时代，而数据是永远不会骗人的。华夏人这么做无非就是希望给你们压力，让你们误判！而现在，聪明的你已经识破了他们的诡计。”
他做了什么？
lean是微软研究院在2013年推出的一款数学智能辅助证明软件。让数学家可以把数学公式转换成代码，再输入到软件中，最后由程序来验证定理是否正确。
“我知道，但这正是我疑惑的。”