oktw
says to
#ysitd
<mmis1000>: 那是定義，本來就無法推導好嗎