時間切れ

なんかはまるところが多すぎて、（考えてなかったんだろう？）時間切れで、
ドラフト送付。

Pros:

• 上書きされない性質がなんか出てきたのはよかった。
• クロスで、上書きされない例とされる例がでてきたのもよかった
• いろいろいい加減な定義を、すこし明確にできた、厳密にはまだ遠い

Cons:

• なにが面白かったんだっけ？というのがよくわからなくなった

おいおい