見直しているうちに、証明をもっと修正すべきであることに気がつく。今のままではどこでoverspillを使っているのか不明確なのだ。というわけで、急遽証明部分を大幅に書き換える。またAML編集者のHajek氏にメールを送り、証明の一部を書き直したいので18日に…