oktw says to #ysitd
<seadog007>: @joeangel 那不叫推導啊