亚特兰奥法学校的交换生们，从学校旁边的车站出发时，正是中午时分。

然后，他们用四个多小时来到了王都，又在在从车站到这群学校的路上，花费了二十分钟待在魔力蒸汽车里。

接下来他们花一点时间拜访完校长又安顿好住宿后，被安吉洛老师的带领着，在这所学校逛了一个小时，就到了晚饭时间。

晚饭后一行人被允许自由活动。

于是兰恩首先就来到了麦克瑞奥法学校的图书馆。

因为他们被告知，使用发放的的临时身份牌可以在这所学校畅通无阻，具有一切本校学生所拥有的权限。不管是体育馆、影片馆、澡堂、游泳池，还是图书馆校史馆自习室等，都可以自由使用。

兰恩对他们这项安排很满意。

他饭后来到图书馆，并不是为了看书。他的主要目的，是查一下自己准备看的几本书，是否都在这儿的目录上。结果让他很欣喜，不仅全部都有，还有两本他一直想找没找到的书籍。譬如他手上这本哥德尔的新作《〈数学原理〉及有关系统中的形式不可判定命题》。

于是他欣然用临时身份牌将它借了下来，准备这半个月好好研读一下这本薄册子。

而且，借阅资格和借阅本身，竟然都是免费的！

看看天色还早，兰恩揣着自己新借的书，从楼上走了下来。他准备在自习室里先看个开头，然后回招待所好好的休息一下，解除长途旅行的疲惫。

但是没想到的是，竟然有人凑上搭讪。旁边的声音听起来年纪不小，不是学生，也不是美女。

这人问这个干啥，他心里想。

于是兰恩扭头看了对方一眼，随口回答：“是的”。接着他重新把注意力，放在面前摊开的书本上。

但是，对方似乎对兰恩很感兴趣，继续凑上来问道：“你对王都和这所学校的印象如何？”

“真的好气派。”兰恩敷衍的说道。

“喜不喜欢这里？”

面对着对面的追问，兰恩不好意思再次敷衍，于是他想了想，礼貌的说道：“应该会喜欢的吧，毕竟这里条件这么好，外面王都这么繁华，而且教学水平也是顶级的。”

对方哈哈一笑。

然后，似乎是发现了兰恩胸前的徽章，对方探头看了看，问道：“你是六级奥术学徒？发过论文？”

“嗯呢。”

“真不错，高级奥法学校的学生，能够独立写论文已经很少见了。到六级的更是稀少，有前途……”

“谢谢。”听到对方的夸奖，兰恩礼貌的道谢。

不过兰恩仍然没抬头，因为书里的内容太有意思了，他正试图理解其中的一个论点。

对方明显看出了兰恩的心不在焉，似乎是不爽被忽视，对方低头看了看他面前的书，继续追问道：“这本书……《〈数学原理〉及有关系统中的形式不可判定命题》……你能看懂？”。估计他看到了打开的书页上，页眉处的标题。

被详细的盘问，兰恩心里感觉很怪异：这老头查户口的吧？

然后他又抬头看了看眼前的老头。

忽然兰恩开口道：

“先生，我是不是在哪儿见过你？”

话音未落，看着对方的红色毛发，兰恩忽然想了起来：“啊我想起来了，我在王都魔法协会见过您，就在假期里！”