特別

Max 的最後一次作業是特別難，還是我特別不熟？XD 閉著眼睛用一堆 structural inductions，用得很心虛 XD。然後用 NJEq 證明 closure law 果然 tricky，Max 已經給了三個提示，我還是湊很久才湊出來。這題如果提示少一點，難度可能就相當於金次的中等題目了 XD。

--
中等就是要做好幾天，高等就是聽金次講才會做，超高等就是聽金次講完還是不會做 XD。