• 今日はいよいよレンタカーを借りに行く日なので朝から落ち着かない。
• 午前中、あまりよくない知らせが一件。
• 念のため保険の内容を調べたりしていると思わぬ発見があったりして新鮮（おいおい）。準備万端でLyftを呼んで出かける。20分ほどで到着。Enterpriseというところ。入っていくと黒人のお兄さんが笑顔で受け付けてくれる。Webで申し込んでいたので問題なく進み、保険についてもとくに勧められたりはせず、「なんかオプション付けますか？」みたいなことを言われて、予定通り、車両のダメージについてはこちらで修理しなくても全部Enterpriseが引き受けてくれるというオプションだけを付ける。
• 契約が終わる頃に、「あそこにある日産の車を同じ値段で使えるけど使うか？」と言われて、見ると、大きなSUVが停まっている。トヨタのカムリ級を予約していたのだが、ワンランク上のRogue。カムリ級だと、アルティマになると言うから「いや〜そんなの急に決められないよ〜、どっちもいい車だし〜、だけどRogueにする」と言って周囲の笑いを誘う。
• あとは簡単に車体の傷をチェックして、ごく簡単に操作法を確認して終わり。あっけない。
• 正午過ぎだったので、練習がてら奥さんの大学まで行こうと思ったが、連絡が取れず、とりあえず帰宅する。夜間は危険なKingshighwayも、昼間なら問題ない。無事帰宅すると奥さんから反応があり、最寄り駅で待っていると言うからすぐに行く。カーナビも付いているが、当然音声ガイドは英語だし、そもそも道の様子がわかっていないから緊張する。なんとか到着して記念撮影。その後、せっかくなので、いつも大家さんに連れてきてもらっていたClaytonのSchnucksへ。途中道を間違えて逆方向へ行くなどしたが、どうにかたどり着いて買い物。ちょっとテンションが上がって、いつもは買えない大きなものを買う。
• 夕食はその店で買ったミートボール。こちらのミートボールは中身が詰まっていて、ソーセージのような味がする。
• 夜は明日の論理学ゼミの準備。やっていることは意味論的Treeの完全性証明なので、それこそ30年前にやったことの復習だが、証明の英語を書き写して言い回しを覚えるのがいい勉強になっているような気がする。
• 借りてきた自動車は家の前に路上駐車（合法）しているので、ふだんよりも物音が気になる。