"Truth theory and co-inductive definitions"

出席者6人、14:15〜15:15。プロジェクターがとても淡くて薄い上、15秒に一回点滅し、話にならない。結局残り時間15分になって別の教室に移動して再開（イギリスでは何が起こるか分からない）。
反応は…プロジェクターがひどかった割には良かったです、はい。話の終了後、一人の院生が感想を言いに来てくれたりしました。
♪ひとつぶのた〜ねが〜♪ちにおちてし〜ねば〜♪お〜くのおお〜くの〜♪み〜をむ〜〜すぶ〜〜〜♪。