Li-Fan Chen
says to
YSITD
除了真假值之外有其他推導方式ㄇ