True, maybe we should time skip as soon as anyone has wrapped up any immediate conversations in the hall.

Good way to end the introduction chapter.