第三點看起來很嚴重阿XD

而且果然強人都會有小圈圈。有個討論 Immerman-Vardi theorem 在該證明中作用的人感覺就很屌，連去網頁看才發現原來是 cjlu 的老闆。