不會證

我覺得一直以來我的證明能力都很差，只會用基本的規則或手法，稍微高階的技巧就使不上手，像 ΛR . C = Λ(R . C) . C（其中 C 是 coreflexive）這種看起來沒什麼問題的式子都證不出來。不過也只能先擱著，今天得把十題 CPU pipeline 的作業寫完，之後有時間再說 XD。

--
是要動用傳說中的 tabulation？