数学会での発表原稿を

見直しているうちに、証明をもっと修正すべきであることに気がつく。今のままではどこでoverspillを使っているのか不明確なのだ。というわけで、急遽証明部分を大幅に書き換える。またAML編集者のHajek氏にメールを送り、証明の一部を書き直したいので18日に投稿した版は破棄して欲しいと依頼する。
明快になるのはいいことだが、しかし書き直さなければとダメだというプレッシャーは心臓に悪い。