[3/3] 前几天我请假去罗马做澳洲签证要求的体检（结果当然是一切正常），返回之前顺便去看了一眼地标建筑。回来以后小老板找我谈话，问我在工作合同的延长方面 “有何愿望”，我说我已经没有继续工作的意愿了（实在不想再写 Python 了），于是我们简单讨论了一下工作交接，就算是好聚好散。所以我还有一个月就在意大利失业了，不过没关系，钱暂时够花了，重要的是我终于可以每天在家专心写 HOL 形式化证明了，非常期待。