Li-Fan Chen
says to
YSITD
但是能用布林代數描述ㄇ