叶泠然看了眼时间，“这会儿才三点半呀，还有两个时才下班。”

“反正又没什么任务。提前下班也没什么，而且我刚刚也说了，从明天开始放假五天。”秦命说道。

叶泠然满脸的黑线，直接把一个文件夹扔给了秦命。

“那你要不要想想这件事需要谁去具体安排呢？天工计划可是有十几万人呢。”

“这本来应该是你这个总负责人的活儿。”

秦命稳稳当当的接住文件夹，翻开之后发现里面什么都没写，他又老老实实的坐到了位置上。

“那我还是在这儿等着你吧。”

“你渴吗？我给你倒杯水。”

见到秦命安安生生的坐到椅子上，叶泠然才露出一个浅浅的笑容。

“这还差不多。倒水就不用了，就你泡茶那个手艺完全是糟蹋茶叶。”

说完，叶泠然建立了一个新文档。

【保护区猜想，又称圈养猜想。太阳系是一个庞大的保护区，人类是保护区内的保护动物，受到保护的同时也无法离开太阳系。】

【下面是证明过程】

【已知两条不证自明的公理】

【一，任何生物都具有价值。】

【二，任何生物种类都有一种或多种价值具备不可替代性】

秦命看到了叶泠然敲的字，疑惑的问道:“你在干什么？”

叶泠然一边打字一边回答道:“给中枢写汇报啊，我根据这个猜想推导出了旅行者二号返航的结果，那肯定是要把这个猜想告诉中枢的。”

“写成报告的形式来肯定要证明的规范一点，不能像刚刚那样用提问的形式来阐述”

秦命质疑道:“你第一条公理不用证明，第二条是不是有点问题？”

叶泠然问道:“有什么问题？根据人类的划分，不同种生物的基因肯定不同。基因都不同了，那它们肯定都有各自独特的价值。”

“有道理。”秦命说道:“不过你刚刚这段话就算是证明了，需要证明的都叫定理，不算公理。”

叶泠然给秦命翻了个白眼，吐槽道:“就你话多。”